Transactions on petri nets and other models of concurrency IV - Donatelli, Susanna; Koutny, Maciej; Jensen, Kurt (Lecture Notes in Computer Science,, 2010)