1. A class of petri net for modeling and analyzing business processes;Van der Aalst;Comput. Sci. Rep.,1995
2. Workflow verification: finding control-flow errors using petri-net-based techniques;van der Aalst,2000
3. Towards using reo for compliance aware business process modeling;Arbab,2008
4. Diagnosing and repairing data anomalies in process models;Awad,2010
5. Efficient compliance checking using bpmn-q and temporal logic;Awad,2008