Transactions on Petri Nets and Other Models of Concurrency VIII - Koutny, Maciej; van der Aalst, Wil M.P.; Yakovlev, Alex; van der Aalst, Wil M. P.; Yakovlev, Alex (Springer Berlin Heidelberg, 2013)