1. ExSpect 6.4: An executable specification tool for hierarchical colored Petri nets;Van der Aalst,2000
2. Workflow mining: A survey of issues and approaches;Van der Aalst;Data and Knowledge Engineering,2003
3. Workflow management: Models, methods, and systems;Van der Aalst,2002
4. Process mining: A research agenda;Van der Aalst;Computers in Industry,2004
5. Workflow mining: Discovering process models from event logs;Van der Aalst;IEEE Transactions on Knowledge and Data Engineering,2004