SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Reduction Rules for Colored Workflow Nets
15 references·1 citing·32 second hop
Reduction Rules for Colored Workflow Nets (2016)Reduction Rules for Colored Workflow NetsThe relationship between workflow graphs and free-choice workflow nets (2014)The relationship between work…Soundness of workflow nets: classification, decidability, and analysis (2010)Soundness of workflow nets: c…Instantaneous Soundness Checking of Industrial Business Process Models (2009)Instantaneous Soundness Check…Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows (2009)Data-Flow Anti-patterns: Disc…Verification of the SAP reference models using EPC reduction, state-space analysis, and invariants (2007)Verification of the SAP refer…WofBPEL: A Tool for Automated Analysis of BPEL Processes (2005)WofBPEL: A Tool for Automated…Verification of EPCs: Using Reduction Rules and Petri Nets (2005)Verification of EPCs: Using R…Generalised Soundness of Workflow Nets Is Decidable (2004)Generalised Soundness of Work…Data flow and validation in workflow modelling (2004)Data flow and validation in w…Workflow Management—Models, Methods and Systems (2003)Workflow Management—Models, M…An Alternative Way to Analyze Workflow Graphs (2002)An Alternative Way to Analyze…Workflow Management: Models, Methods, and Systems (2001)Workflow Management: Models, …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…Translating Workflow Nets to Process Trees : An Algorithmic Approach (2020)Translating Workflow Nets to …Process innovation: reengineering work through information technology (1993)An overview of workflow management: From process modeling to workflow automation infrastructure (1995)Best practices in business process redesign: an overview and qualitative evaluation of successful redesign heuristics (2004)Case handling: a new paradigm for business process support (2004)DECLARE: Full Support for Loosely-Structured Processes (2007)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)Verification of workflow nets (1997)Adeptflex—Supporting Dynamic Changes of Workflows Without Losing Control (1998)ARIS — Business Process Modeling (1999)Soundness verification for conceptual workflow nets with data: Early detection of errors with the most precision possible (2011)Detecting data-flow errors based on Petri nets with data operations (2017)Workflow Patterns (2003)Business Process Management : Concepts, Languages, Architectures (2007)Business Process Variability Modeling (2017)Split miner: automated discovery of accurate and simple business process models from event logs (2018)Object-Centric Process Mining: Dealing with Divergence and Convergence in Event Data (2019)Business Process Analysis and Optimization: Beyond Reengineering (2007)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)YAWL: yet another workflow language (2004)Analysis on demand: Instantaneous soundness checking of industrial business process models (2011)Approaches to modeling business processes: a critical analysis of BPMN, workflow patterns and YAWL (2011)Generalizability and Applicability of Model-Based Business Process Compliance-Checking Approaches — A State-of-the-Art Analysis and Research Roadmap (2012)Static and Dynamic Process Change (2016)Are we done with business process compliance: state of the art and challenges ahead (2018)Provenance and scientific workflows (2008)Big Data and cloud computing: innovation opportunities and challenges (2016)
this work references cited by second hop

References

  • 1998THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT2,706 cited
  • 2001Workflow Management: Models, Methods, and Systems742 cited
  • 2003Workflow Management—Models, Methods and Systems537 cited
  • 2000Analyzing process models using graph reduction techniques452 cited
  • 2010Soundness of workflow nets: classification, decidability, and analysis372 cited
  • 2001Diagnosing Workflow Processes using Woflan317 cited
  • 2009Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows187 cited
  • 2004Data flow and validation in workflow modelling173 cited
  • 2002An Alternative Way to Analyze Workflow Graphs168 cited
  • 2009Instantaneous Soundness Checking of Industrial Business Process Models143 cited
  • 2005Verification of EPCs: Using Reduction Rules and Petri Nets120 cited
  • 2005WofBPEL: A Tool for Automated Analysis of BPEL Processes103 cited
  • 2007Verification of the SAP reference models using EPC reduction, state-space analysis, and invariants88 cited
  • 2004Generalised Soundness of Workflow Nets Is Decidable65 cited
  • 2014The relationship between workflow graphs and free-choice workflow nets58 cited

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

Cited by

  • 2020Translating Workflow Nets to Process Trees : An Algorithmic Approach13 cited