1. Formalization and verification of event-driven process chains;van der Aalst;Information and Software Technology,1999
2. W.M.P. van der Aalst, Verification of workflow nets. in: P. Azéma, G. Balbo (Eds.), Application and Theory of Petri Nets 1997, Lecture Notes in Computer Science, vol. 1248, Springer-Verlag, Berlin, 1997, pp. 407–426.
3. The application of petri nets to workflow management;van der Aalst;The Journal of Circuits, Systems and Computers,1998
4. W.M.P. van der Aalst, Workflow Verification: finding control-flow errors using petri-net-based techniques, in: W.M.P. van der Aalst, J. Desel, A. Oberweis (Eds.), Business Process Management: Models, Techniques, and Empirical Studies, Lecture Notes in Computer Science, vol. 1806, Springer-Verlag, Berlin, 2000, pp. 161–183.
5. W.M.P. van der Aalst, Business process management demystified: a tutorial on models, systems and standards for workflow management, in: J. Desel, W. Reisig, G. Rozenberg (Eds.), Lectures on Concurrency and Petri Nets, Lecture Notes in Computer Science, vol. 3098, Springer-Verlag, Berlin, 2004, pp. 1–65.