Application and Theory of Petri Nets and Concurrency - Gianfranco Ciardo, Ekkart Kindler (Springer International Publishing, 2014)