Citation map · Study

SZodixStudyAcademic Library

Shelves Open access

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

Verification of EPCs: Using Reduction Rules and Petri Nets

12 references·16 citing·33 second hop

FromToDepth

this work references cited by second hop

References

2002Workflow Management744 cited
2001Workflow Management: Models, Methods, and Systems742 cited
2000Production Workflow - Concepts and Techniques719 cited
1999Formalization and verification of event-driven process chains565 cited
1994Business Process Engineering: Reference Models for Industrial Enterprises483 cited
2000Analyzing process models using graph reduction techniques452 cited
2000Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques435 cited
2000Verification Of Workflow Task Structures: A Petri-net-baset Approach271 cited
2002An Alternative Way to Analyze Workflow Graphs168 cited
1998Sap R/3 Process Oriented Implementation165 cited
2004BRIDGING THE GAP BETWEEN BUSINESS MODELS AND WORKFLOW SPECIFICATIONS162 cited
2001Relaxed Soundness of Business Processes137 cited

Cited by

2011Managing Process Model Complexity Via Abstract Syntax Modifications116 cited
2007Verification of the SAP reference models using EPC reduction, state-space analysis, and invariants88 cited
2014Dealing with change in process choreographies: Design and implementation of propagation algorithms

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

84 cited

2006Structural Patterns for Soundness of Business Process Models78 cited

2007Formalization and Verification of EPCs with OR-Joins Based on State and Context77 cited

2006Faulty EPCs in the SAP Reference Model77 cited

2008Diagnosing Differences between Business Process Models73 cited

2006On Representing, Purging, and Utilizing Change Logs in Process Management Systems67 cited

2006What business process modelers can learn from programmers67 cited

2007From conceptual process models to running systems: A holistic approach for the configuration of enterprise system processes56 cited

2009Collaborative, Participative and Interactive Enterprise Modeling55 cited

2018Event-Driven Process Chain for Modeling and Verification of Business Requirements–A Systematic Literature Review53 cited

2010An ontology-based semantic foundation for ARIS EPCs40 cited

2007An Ontological Approach to Business Process Modeling39 cited

2010Detection of Semantically Equivalent Fragments for Business Process Model Change Management38 cited

2010Business process modeling with continuous validation36 cited