Transactions on Petri Nets and Other Models of Concurrency I - Jensen, Kurt; Aalst, Wil M. P. van der; Billington, Jonathan (Springer Berlin Heidelberg : Imprint: Springer, 2008)