Application and Theory of Petri Nets and Concurrency - Donatelli; Haar, Stefan (Springer International Publishing, 2019)