1. Verification of workflow nets;van der Aalst,1997
2. The Application of Petri Nets to Workflow Management;van der Aalst;Journal of Circuits, Systems and Computers,1998
3. Workflow verification: Finding control-flow errors using Petri net-based techniques;van der Aalst,1999
4. Workflow Management: Models, Methods, and Systems;van der Aalst,2002
5. Local search in combinatorial optimization,1998