1. Empirical studies in process model verification;Mendling;T. Petri Nets and Other Models of Concurrency,2009
2. An Alternative Way to Analyze Workflow Graphs;Aalst,2002
3. Diagnosing workflow processes using Woflan;Verbeek;Comput. J.,2001
4. OMG, Business process model and notation (BPMN) FTF beta 2 for version 2.0, OMG document number dtc/10-06-04, Tech. rep. (2010).
5. Generating Petri Net State Spaces;Wolf,2007