1. The application of Petri nets to workflow management;van der Aalst;The Journal of Circuits, Systems and Computers,1998
2. Interorganizational workflows: an approach based on message sequence charts and Petri nets;van der Aalst;Systems Analysis — Modelling — Simulation,1999
3. Verification of workflow nets;van der Aalst,1997
4. Modeling and analyzing interorganizational workflows;van der Aalst,1998
5. Life-cycle inheritance: a petri-net-based approach;van der Aalst,1997