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