Transactions on Petri Nets and Other Models of Concurrency VIII - Maciej Koutny, Wil M. P. Aalst, Alex Yakovlev ((Lecture Notes in Computer Science))