Transactions on Petri Nets and Other Models of Concurrency II : Special Issue on Concurrency in Process-Aware Information Systems - Kurt Jensen, Wil M. P. Aalst ((Lecture Notes in Computer Science))