1. Verification of workflow nets;van der Aalst,1997
2. The application of Petri nets to workflow management;van der Aalst;The Journal of Circuits, Systems and Computers,1998
3. Workflow verification: finding control-flow errors using Petri-net-based techniques;van der Aalst,2000
4. Business process management demystified: a tutorial on models systems and standards for workflow management;van der Aalst,2004
5. Inheritance of workflows: an approach to tackling problems related to change;van der Aalst;Theoretical Computer Science,2002