Transactions on Petri Nets and Other Models of Concurrency V - Kurt Jensen, Susanna Donatelli, Jetty Kleijn ((Lecture Notes in Computer Science))