Transactions on petri nets and other models of concurrency I - Jensen, Kurt; Van Der Aalst, Wil M. P.; Billington, Jonathan (Lecture Notes in Computer Science, 2008)