References

• 2007Conformance checking of processes based on monitoring real behavior1,119 cited
• 1997Verification of workflow nets802 cited
• 2008Semantics and analysis of business process models in BPMN727 cited
• 2011BPMN: An introduction to the standard688 cited
• 2006Compliance checking between business processes and business contracts266 cited
• 2011Introducing the Guard-Stage-Milestone Approach for Specifying Business Entity Lifecycles204 cited
• 2015Compliance monitoring in business processes: Functionalities, application, and tool-support193 cited
• 2008On the Duality of Information-Centric and Activity-Centric Models of Business Processes142 cited
• 2009Declarative versus Imperative Process Modeling Languages: The Issue of Understandability141 cited
• 2009Enterprise, Business-Process and Information Systems Modeling128 cited
• 2011Monitoring Business Process Compliance Using Compliance Rule Graphs121 cited
• 2013Monitoring business constraints with the event calculus121 cited
• 2013Modeling and Enacting Complex Data Dependencies in Business Processes119 cited
• 2011Specifying and Verifying Cross-Organizational Business Models: An Agent-Oriented Approach92 cited
• 2014Predictive Task Monitoring for Business Processes