Transactions on Petri Nets and Other Models of Concurrency II Special Issue on Concurrency in Process-Aware Information Systems - Jensen, Kurt; Aalst, Wil M. P. van der (Springer Berlin Heidelberg : Imprint: Springer, 2009)