1. Formalization and verification of event-driven process chains;van der Aalst;Information and Software Technology,1999
2. Workflow verification: finding control-flow errors using Petri-net-based techniques;van der Aalst,2000
3. Correctness-preserving configuration of business process models;van der Aalst,2008
4. Implementing Sap R/3: How to Introduce a Large System into a Large Organization;Bancroft,1997
5. Konfigurative referenzmodellierung;Becker,2002