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