1. Process equivalence: Comparing two process models based on observed behavior;Aalst,2006
2. Bpmn-q: a language to query business processes;Awad,2007
3. Efficient compliance checking using bpmn-q and temporal logic;Awad,2008
4. Semantic querying of business process models;Awad,2008
5. Bp-ex: a uniform query engine for business process execution traces;Balan,2010