SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
On the Suitability of Correctness Criteria for Business Process Models
8 references·4 citing·31 second hop
On the Suitability of Correctness Criteria for Business Process Models (2005)On the Suitability of Correctness Criteri…Verification of WF-nets (2004)Verification of WF-netsGeneralised Soundness of Workflow Nets Is Decidable (2004)Generalised Soundness of Work…BRIDGING THE GAP BETWEEN BUSINESS MODELS AND WORKFLOW SPECIFICATIONS (2004)BRIDGING THE GAP BETWEEN BUSI…Applications and Theory of Petri Nets 2004 (2004)Applications and Theory of Pe…A Top-Down Petri Net-Based Approach for Dynamic Workflow Modeling (2003)A Top-Down Petri Net-Based Ap…Relaxed Soundness of Business Processes (2001)Relaxed Soundness of Business…THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT (1998)THE APPLICATION OF PETRI NETS…Adeptflex—Supporting Dynamic Changes of Workflows Without Losing Control (1998)Adeptflex—Supporting Dynamic …Well-structuredness, safeness and soundness: A formal classification of BPMN collaborations (2020)Well-structuredness, safeness…A modular approach to the specification and management of time duration constraints in BPMN (2019)A modular approach to the spe…A rule-based approach to model and verify flexible business processes (2011)A rule-based approach to mode…Workflow Model Compositions Preserving Relaxed Soundness (2006)Workflow Model Compositions P…Verification of workflow nets (1997)Formalization and verification of event-driven process chains (1999)Verification of EPCs: Using Reduction Rules and Petri Nets (2005)Detection and Prediction of Errors in EPC Business Process Models. (2007)Diagnosing Workflow Processes using Woflan (2001)Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach (2003)Business Process Modeling Using Petri Nets (2013)Some Complexity Results for the Soundness Problem of Workflow Nets (2013)Petri Net Based Data-Flow Error Detection and Correction Strategy for Business Processes (2020)An overview of workflow management: From process modeling to workflow automation infrastructure (1995)Case handling: a new paradigm for business process support (2004)Quality of service for workflows and web service processes (2004)Business Process Management: A Comprehensive Survey (2013)Workflow Patterns (2003)The importance of business process modeling in software systems design (2008)Unleashing the Effectiveness of Process-Oriented Information Systems: Problem Analysis, Critical Success Factors, and Implications (2008)Using process mining to learn from process changes in evolutionary systems (2008)DECLARE: Full Support for Loosely-Structured Processes (2007)Business Process Model and Notation (2011)Business Process Management : Concepts, Languages, Architectures (2007)Verifying Workflows with Cancellation Regions and OR-Joins: An Approach Based on Reset Nets and Reachability Analysis (2006)Reduction rules for YAWL workflows with cancellation regions and OR-joins (2009)How to guarantee compliance between workflows and product lifecycles? (2014)Let’s Go All the Way: From Requirements Via Colored Workflow Nets to a BPEL Implementation of a New Bank System (2005)A timed colored Petri nets modeling for dynamic workflow in product development process (2007)Refinement-Based Hierarchical Modeling and Correctness Verification of Cross-Organization Collaborative Emergency Response Processes (2018)Workflow mining: discovering process models from event logs (2004)YAWL: yet another workflow language (2004)Detecting Implicit Dependencies Between Tasks from Event Logs (2005)Process-Aware Information Systems: Lessons to Be Learned from Process Mining (2009)Reducing false positives in fraud detection: Combining the red flag approach with process mining (2018)
this work references cited by second hop

References

  • 1998THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT2,706 cited
  • 1998Adeptflex—Supporting Dynamic Changes of Workflows Without Losing Control887 cited
  • 2004BRIDGING THE GAP BETWEEN BUSINESS MODELS AND WORKFLOW SPECIFICATIONS162 cited
  • 2001Relaxed Soundness of Business Processes137 cited
  • 2004Applications and Theory of Petri Nets 2004125 cited
  • 2004Generalised Soundness of Workflow Nets Is Decidable65 cited
  • 2003A Top-Down Petri Net-Based Approach for Dynamic Workflow Modeling65 cited
  • 2004Verification of WF-nets41 cited

Cited by

  • 2011A rule-based approach to model and verify flexible business processes22 cited
  • 2019A modular approach to the specification and management of time duration constraints in BPMN19 cited
  • 2006Workflow Model Compositions Preserving Relaxed Soundness19 cited
  • 2020Well-structuredness, safeness and soundness: A formal classification of BPMN collaborations18 cited

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