Spike - a command line tool for continuous, stochastic & hybrid simulation of (coloured) Petri nets
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 |