The search result changed since you submitted your search request. Documents might be displayed in a different sort order.
  • search hit 3 of 144
Back to Result List

Spike - a command line tool for continuous, stochastic & hybrid simulation of (coloured) Petri nets

Export metadata

Additional Services

Search Google Scholar
Metadaten
Author: Jacek Chodak, Monika HeinerORCiD
URL:https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/deliver/index/docId/41861/file/awpn18-lorenz-metzger-OPUS.pdf#page=9
Title of the source (English):Algorithms and Tools for Petri Nets -Proceedings of the Workshop AWPN 2018
Publisher:Universität, Institut für Informatik
Place of publication:Augsburg
Editor: Robert Lorenz, Johannes Metzger
Document Type:Conference Proceeding
Language:English
Year of publication:2018
First Page:1
Last Page:6
Faculty/Chair:Fakultät 1 MINT - Mathematik, Informatik, Physik, Elektro- und Informationstechnik / FG Datenstrukturen und Softwarezuverlässigkeit
Einverstanden ✔
Diese Webseite verwendet technisch erforderliche Session-Cookies. Durch die weitere Nutzung der Webseite stimmen Sie diesem zu. Unsere Datenschutzerklärung finden Sie hier.