1. van der Aalst W (1996) Three good reasons for using a Petri-net-based workflow management system. In: Navathe S, Wakayama T (eds) Proceedings of the International Working Conference on Information and Process Integration in Enterprises (IPIC-96), Cambridge, MA, pp 179–201
2. van der Aalst W (2000) Workflow Verification: Finding Control-Flow Errors using Petri Net-Based Techniques. In: van der Aalst W, Desel J, Oberweis A (eds) Proceedings of Business Process Management: Models, Techniques and Empirical Studies. Springer-Verlag, Lecture Notes in Computer Science, vol 1806, pp 161–183
3. van der Aalst W (2003) Patterns and XPDL: A Critical Evaluation of the XML Process Definition Language. QUT Technical report, FIT-TR-2003-06, Queensland University of Technology, Brisbane
4. van der Aalst W, Basten T (2002) Inheritance of Workflows: An Approach to Tackling Problems Related to Change. Theor Comput Sci 270(1-2):125–203
5. van der Aalst W, van Hee K (2002) Workflow Management: Models, Methods and Systems. MIT Press, Cambridge, MA