Transactions on Petri Nets and Other Models of Concurrency IV - Jensen, Kurt; Donatelli, Susanna; Koutny, Maciej (Springer Berlin Heidelberg, 2010)