1. Formalization and verification of event-driven process chains;van der Aalst;Information and Software Technology,1999
2. Verification of workflow task structures: a Petri-net-based approach;van der Aalst;Information Systems,2000
3. W.M.P. van der Aalst, A.H.M. ter Hofstede, Workflow patterns: on the expressive power of (Petri-net-based) workflow languages (invited talk), in: Proceedings of Fourth Workshop on the Practical Use of Coloured Petri Nets and CPN Tools (CPN 2002), vol. 560 of DAIMI, University of Aarhus, Demark, 2002, pp. 1–20.
4. YAWL: yet another workflow language;van der Aalst;Information Systems,2004
5. Workflow patterns;van der Aalst;Distributed and Parallel Databases,2003