Transactions on Petri Nets and Other Models of Concurrency III - Kurt Jensen, Jonathan Billington, Maciej Koutny ((Lecture Notes in Computer Science))