1. Business Process Modeling Notation (BPMN), Version 2.0,2011
2. Structural characterizations of sound workflow nets;van der Aalst,1996
3. Verification of workflow nets;van der Aalst,1997
4. The application of petri nets to workflow management;van der Aalst;J. Circ. Syst. Comput.,1998