Application and Theory of Petri Nets and Concurrency - Fabrice Kordon, Daniel Moldt (Springer, 2016)