Kurt Jensen, Wil M. P. van der Aalst (Eds.):
Transactions on Petri Nets and Other Models of Concurrency II, Special Issue on Concurrency in Process-Aware Information Systems.
Lecture Notes in Computer Science 5460 Springer 2009, ISBN 978-3-642-00898-6 
Ekkart Kindler:
Model-Based Software Engineering and Process-Aware Information Systems.
27-45
Jan Mendling:
Empirical Studies in Process Model Verification.
208-224
data released under the ODC-BY 1.0 license
