Charlie – an extensible Petri net analysis tool
Author: | Monika HeinerORCiD, Martin Schwarick, Jan-Thierry Wegener |
---|---|
URL: | http://link.springer.com/chapter/10.1007/978-3-319-19488-2_10 |
DOI: | https://doi.org/10.1007/978-3-319-19488-2_10 |
ISBN: | 978-3-319-19487-5 |
Title of the source (English): | Application and Theory of Petri Nets and Concurrency, 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings |
Publisher: | Springer International Publishing |
Place of publication: | Cham |
Document Type: | Conference Proceeding |
Language: | English |
Year of publication: | 2015 |
First Page: | 200 |
Last Page: | 211 |
Comment: | peer reviewed |
Series ; volume number: | Lecture Notes in Computer Science ; 9115 |
Faculty/Chair: | Fakultät 1 MINT - Mathematik, Informatik, Physik, Elektro- und Informationstechnik / FG Datenstrukturen und Softwarezuverlässigkeit |