Application and Theory of Petri Nets and Concurrency - Colom, Jose-Manuel; Desel, Jörg (Springer Berlin Heidelberg, 2013)