1. Aalst, W. M. P. d. (2000). Workflow verification: Finding control-flow errors using petri-net-based techniques. In Proceedings of the Business Process Management, Models, Techniques, and Empirical Studies.
2. Re-engineering knock-out processes
3. Aalst, W. M. P. d., & Berens, P. J. S. (2001). Beyond workflow management: Product-driven case handling. In Proceedings of the 2001 International ACM SIGGROUP Conference on Supporting Group Work, Boulder, CO.