1. Verification of Workflow Nets;van der Aalst,1997
2. The application of Petri nets to workflow management;van der Aalst;The J. Circuits, Systems Comput.,1998
3. Workflow verification;van der Aalst,2000
4. Life-cycle inheritance;van der Aalst,1997
5. Inheritance of workflows;van der Aalst;Theoret. Comput. Sci.,2002