Transactions on Petri Nets and Other Models of Concurrency IV - Kurt Jensen, Susanna Donatelli, Maciej Koutny ((Lecture Notes in Computer Science))