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