Transactions on petri nets and other models of concurrency I - Jensen, Kurt, 1950-; Aalst, Wil van der, 1966-; Billington, Jonathan (Springer, 2008)