Susanna Donatelli, Stefan Haar Application and Theory of Petri Nets and Concurrency - Springer Springer 2019 ISBN: 9783030215712 Source: EBOOK