SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
An Alternative Way to Analyze Workflow Graphs
5 references·16 citing·34 second hop
An Alternative Way to Analyze Workflow Graphs (2002)An Alternative Way to Analyze Workflow Gr…Diagnosing Workflow Processes using Woflan (2001)Diagnosing Workflow Processes…Analyzing process models using graph reduction techniques (2000)Analyzing process models usin…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 …Verification of workflow nets (1997)Verification of workflow netsProcess mining using BPMN: relating event logs and process models (2015)Process mining using BPMN: re…Thresholds for error probability measures of business process models (2012)Thresholds for error probabil…On the refactoring of activity labels in business process models (2012)On the refactoring of activit…Approaches to modeling business processes: a critical analysis of BPMN, workflow patterns and YAWL (2011)Approaches to modeling busine…Analysis on demand: Instantaneous soundness checking of industrial business process models (2011)Analysis on demand: Instantan…Beyond soundness: on the verification of semantic business process models (2010)Beyond soundness: on the veri…A workflow net similarity measure based on transition adjacency relations (2010)A workflow net similarity mea…Instantaneous Soundness Checking of Industrial Business Process Models (2009)Instantaneous Soundness Check…Controllability in Temporal Conceptual Workflow Schemata (2009)Controllability in Temporal C…Automatic Workflow Graph Refactoring and Completion (2008)Automatic Workflow Graph Refa…Applying Patterns during Business Process Modeling (2008)Applying Patterns during Busi…Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Relaxed Soundness and Invariants (2007)Verifying Workflows with Canc…Verification of the SAP reference models using EPC reduction, state-space analysis, and invariants (2007)Verification of the SAP refer…Formalization and Verification of EPCs with OR-Joins Based on State and Context (2007)Formalization and Verificatio…Verification of EPCs: Using Reduction Rules and Petri Nets (2005)Verification of EPCs: Using R…Mining Expressive Process Models by Clustering Workflow Traces (2004)Mining Expressive Process Mod…Production Workflow - Concepts and Techniques (2000)Workflow Management: Models, Methods, and Systems (2001)Workflow Management (2002)Managing Process Model Complexity Via Abstract Syntax Modifications (2011)Dealing with change in process choreographies: Design and implementation of propagation algorithms (2014)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)The refined process structure tree (2009)Diagnosing and Repairing Data Anomalies in Process Models (2010)Simplified Computation and Generalization of the Refined Process Structure Tree (2011)A Decade of Business Process Management Conferences: Personal Reflections on a Developing Discipline (2012)Workflow Patterns (2003)YAWL: yet another workflow language (2004)Semantics and analysis of business process models in BPMN (2008)BPMN 2.0 for Modeling Business Processes (2014)Business process model and notation: The current state of affairs (2015)BPMN 2.0: The state of support and implementation (2017)Techniques of value analysis and engineering (1961)Business Process Change: A Study of Methodologies, Techniques, and Tools* (1997)Seven process modeling guidelines (7PMG) (2009)Probabilistic Optimization of Semantic Process Model Matching (2012)Supporting Process Model Validation through Natural Language Generation (2014)A Guidelines framework for understandable BPMN models (2017)Business Process Analysis and Optimization: Beyond Reengineering (2007)Soundness of workflow nets: classification, decidability, and analysis (2010)Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management (2004)Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition (2007)The P2P Approach to Interorganizational Workflows (2013)Workflow mining: discovering process models from event logs (2004)Formalization and verification of event-driven process chains (1999)Inheritance of workflows: an approach to tackling problems related to change (2002)Complete and Interpretable Conformance Checking of Business Processes (2017)
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
  • 1997Verification of workflow nets802 cited
  • 2000Analyzing process models using graph reduction techniques452 cited
  • 2001Diagnosing Workflow Processes using Woflan317 cited

Cited by

  • 2011Approaches to modeling business processes: a critical analysis of BPMN, workflow patterns and YAWL147 cited
  • 2011Analysis on demand: Instantaneous soundness checking of industrial business process models145 cited
  • 2009Instantaneous Soundness Checking of Industrial Business Process Models143 cited
  • 2005Verification of EPCs: Using Reduction Rules and Petri Nets120 cited
  • 2012On the refactoring of activity labels in business process models107 cited
  • 2010A workflow net similarity measure based on transition adjacency relations100 cited
  • 2010Beyond soundness: on the verification of semantic business process models98 cited
  • 2008Applying Patterns during Business Process Modeling98 cited
  • 2012Thresholds for error probability measures of business process models90 cited
  • 2015Process mining using BPMN: relating event logs and process models

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

88 cited
  • 2007Verification of the SAP reference models using EPC reduction, state-space analysis, and invariants88 cited
  • 2007Formalization and Verification of EPCs with OR-Joins Based on State and Context77 cited
  • 2007Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Relaxed Soundness and Invariants70 cited
  • 2004Mining Expressive Process Models by Clustering Workflow Traces66 cited
  • 2009Controllability in Temporal Conceptual Workflow Schemata61 cited
  • 2008Automatic Workflow Graph Refactoring and Completion58 cited