Transactions on Petri Nets and Other Models of Concurrency VII - Kurt Jensen, Wil M. P. Aalst, Gianfranco Balbo, Maciej Koutny, Karsten Wolf ((Lecture Notes in Computer Science))