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