Citation map · Study

SZodixStudyAcademic Library

Shelves Open access

Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated

Detecting deadlock and multiple termination in BPMN model using process automata

11 references·1 citing·44 second hop

FromToDepth

this work references cited by second hop

References

2004Business Process Modeling Notation (BPMN), Version 1.0472 cited
2004Advances in business process management218 cited
2008The importance of business process modeling in software systems design131 cited
2007Verification of the SAP reference models using EPC reduction, state-space analysis, and invariants88 cited
2007Formal semantics and automated analysis of BPMN process models83 cited
2008Formal Semantics and Verification of BPMN Transaction and Compensation38 cited
2009A Simple Algorithm for Automatic Layout of BPMN Processes31 cited
2008Structural Detection of Deadlocks in Business Process Models30 cited
2003Definition of deadlock patterns for business processes workflow models27 cited
2009Business Process Modelling with Continuous Validation23 cited
1998Formalization and verification of event-driven process chains13 cited

Cited by

2012Detecting structural errors in BPMN process models10 cited

Only edges whose both ends are imported exist here. Widen the year window, or show the whole map. Back to the work