Transactions on Petri Nets and Other Models of Concurrency II - Jensen, Kurt; Aalst, Wil M. P.; Kanade, Takeo; Kittler, Josef (Springer Berlin Heidelberg, 2009)