Transactions on Petri Nets and Other Models of Concurrency I - Kurt Jensen, Wil M. P. Aalst, Jonathan Billington ((Lecture Notes in Computer Science))