SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Decomposition-Based Verification of Cyclic Workflows
16 references·2 citing·29 second hop
Decomposition-Based Verification of Cyclic Workflows (2005)Decomposition-Based Verification of Cycli…Expressiveness and suitability of languages for control flow modelling in workflows (2003)Expressiveness and suitabilit…Business Process Management: A Survey (2003)Business Process Management: …Research Commentary: Workflow Management Issues in e-Business (2002)Research Commentary: Workflow…An Alternative Way to Analyze Workflow Graphs (2002)An Alternative Way to Analyze…Workflow Automation: Overview and Research Issues (2001)Workflow Automation: Overview…Diagnosing Workflow Processes using Woflan (2001)Diagnosing Workflow Processes…Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques (2000)Workflow Verification: Findin…Verification Of Workflow Task Structures: A Petri-net-baset Approach (2000)Verification Of Workflow Task…Production Workflow - Concepts and Techniques (2000)Production Workflow - Concept…Analyzing process models using graph reduction techniques (2000)Analyzing process models usin…A Formal Approach to Workflow Analysis (2000)A Formal Approach to Workflow…Dynamic Routing and Operational Controls in Workflow Management Systems (1999)Dynamic Routing and Operation…Verification problems in conceptual workflow specifications (1998)Verification problems in conc…THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT (1998)THE APPLICATION OF PETRI NETS…Modeling and Analysis of Workflows Using Petri Nets (1998)Modeling and Analysis of Work…An overview of workflow management: From process modeling to workflow automation infrastructure (1995)An overview of workflow manag…Ensuring the semantic correctness of a BAUML artifact-centric BPM (2017)Ensuring the semantic correct…An integer programming based approach for verification and diagnosis of workflows (2010)An integer programming based …Structure in Fives: Designing Effective Organizations. (1984)The Duality of Technology: Rethinking the Concept of Technology in Organizations (1992)Linking the Balanced Scorecard to Strategy (1996)Formulating the Data-Flow Perspective for Business Process Management (2006)Implementing BPM systems: the role of process orientation (2006)Minding the Gaps: Understanding Technology Interdependence and Coordination in Knowledge Work (2009)Workflow Patterns (2003)YAWL: yet another workflow language (2004)Designing routines: On the folly of designing artifacts, while hoping for patterns of action (2008)BPMN: An introduction to the standard (2011)Business Process Management: A Comprehensive Survey (2013)Adeptflex—Supporting Dynamic Changes of Workflows Without Losing Control (1998)Business Process Analysis and Optimization: Beyond Reengineering (2007)The refined process structure tree (2009)Soundness of workflow nets: classification, decidability, and analysis (2010)Workflow Management: Modeling Concepts, Architecture and Implementation (1996)Verification of workflow nets (1997)What Makes Process Models Understandable? (2007)Case handling: a new paradigm for business process support (2004)Design science in information systems research (2004)Business process mining: An industrial application (2006)The specification and enforcement of authorization constraints in workflow management systems (1999)Fundamentals of control flow in workflows (2003)The P2P Approach to Interorganizational Workflows (2013)Design and Implementation of the YAWL System (2004)On Structured Workflow Modelling (2013)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)Workflow mining: discovering process models from event logs (2004)
this work references cited by second hop

References

  • 1998THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT2,706 cited
  • 1995An overview of workflow management: From process modeling to workflow automation infrastructure1,530 cited
  • 2003Business Process Management: A Survey1,349 cited
  • 2000Production Workflow - Concepts and Techniques719 cited
  • 2000Analyzing process models using graph reduction techniques452 cited
  • 2000Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques435 cited
  • 2001Diagnosing Workflow Processes using Woflan317 cited
  • 1998Modeling and Analysis of Workflows Using Petri Nets299 cited
  • 2000Verification Of Workflow Task Structures: A Petri-net-baset Approach271 cited
  • 2001Workflow Automation: Overview and Research Issues234 cited
  • 2002Research Commentary: Workflow Management Issues in e-Business172 cited
  • 2000A Formal Approach to Workflow Analysis170 cited
  • 2002An Alternative Way to Analyze Workflow Graphs168 cited
  • 2003Expressiveness and suitability of languages for control flow modelling in workflows135 cited
  • 1998Verification problems in conceptual workflow specifications91 cited

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

1999
Dynamic Routing and Operational Controls in Workflow Management Systems
83 cited

Cited by

  • 2010An integer programming based approach for verification and diagnosis of workflows19 cited
  • 2017Ensuring the semantic correctness of a BAUML artifact-centric BPM16 cited