Transactions on Petri Nets and Other Models of Concurrency I van der Aalst, Wil M. P. Heftet / 2008 / Engelsk
