Citation map · Study

SZodixStudyAcademic Library

Shelves Open access

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

Transformation of the BPMN Design Model into a Colored Petri Net Using the Partitioning Approach

5 references·4 citing·29 second hop

FromToDepth

this work references cited by second hop

References

2014Business Process Model and Notation—BPMN972 cited
2007Transformation of BPMN Models for Behaviour Analysis78 cited
2010Diagnosing and Repairing Data Anomalies in Process Models77 cited
2017Formal verification of complex business processes based on high-level Petri nets73 cited
2008BPMN-based business process model feasibility analysis: a petri net approach42 cited

Cited by

2019Hierarchical Verification for the BPMN Design Model Using State Space Analysis33 cited
2019Data-driven Workflow Management by utilising BPMN and CPN in IIoT Systems with the Arrowhead Framework29 cited
2023Assessing business process models: a literature review on techniques for BPMN testing and formal verification26 cited
2021BPMN 2.0 OR-Join Semantics: Global and local characterisation16 cited

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