Citation map · Study

SZodixStudyAcademic Library

Shelves Open access

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

Business Process Modelling with Continuous Validation

12 references·6 citing·45 second hop

FromToDepth

this work references cited by second hop

References

1998THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT2,706 cited
1999Formalization and verification of event-driven process chains565 cited
2000Analyzing process models using graph reduction techniques452 cited
2007Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition276 cited
2009Business process verification – finally a reality!158 cited
2005Verification of EPCs: Using Reduction Rules and Petri Nets120 cited
2007Detection and Prediction of Errors in EPC Business Process Models.120 cited
2004On the Semantics of EPCs: A Framework for Resolving the Vicious Circle111 cited
2002Syntax und Semantik Ereignisgesteuerter Prozessketten (EPK)98 cited
2007Verification of the SAP reference models using EPC reduction, state-space analysis, and invariants88 cited
2006Structural Patterns for Soundness of Business Process Models78 cited
1998Petri Net Based Certification of Event-Driven Process Chains67 cited

Cited by

2024Visualization of Business Process Modeling Anti Patterns22 cited
2011Visual suggestions for improvements in business process diagrams18 cited
2011Object-Sensitive Action Patterns in Process Model Repositories

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

16 cited

2010A heuristic method for detecting problems in business process models16 cited

2010Modeling and Formally Checking Workflow Properties Using UML and OCL13 cited

2012Anomalies in Rule-Adapted Workflows - A Taxonomy and Solutions for vBPMN12 cited