Application and Theory of Petri Nets and Concurrency - Didier Buchs; Carmona, Josep (Springer International Publishing, 2021)