Transactions on petri nets and other models of concurrency I - Jensen, Kurt, 1950- (Springer, 2008)