Susanna Donatelli, Stefan Haar Application and Theory of Petri Nets and Concurrency - 1st ed. 2019 - Springer International Publishing 2019 - 11522 - Lecture Notes in Computer Science . ISBN: 978-3-030-21571-2 ISSN: 1611-3349