References

• 1999Formalization and verification of event-driven process chains565 cited
• 2006Structural Patterns for Soundness of Business Process Models78 cited
• 2002Object-orientation in business process modeling through applying event driven process chains (EPC) in UML34 cited
• 2014Enhancing Formal Specification and Verification of Temporal Constraints in Business Processes29 cited
• 2010Towards Trustworthy Composite Service Through Business Process Model Verification27 cited
• 2014Business Process Verification: The Application of Model Checking and Timed Automata20 cited
• 2015Towards an Extended Metamodel of Event-Driven Process Chains to Model Complex Event Patterns11 cited
• 2010Detecting deadlock and multiple termination in BPMN model using process automata10 cited

Cited by

No citing works inside the corpus for this window.