Transactions on Petri Nets and Other Models of Concurrency VI2012

by Wil M. P. van der Aalst