SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
An Incremental Approach to the Analysis and Transformation of Workflows Using Region Trees
10 references·2 citing·33 second hop
An Incremental Approach to the Analysis and Transformation of Workflows Using Region Trees (2008)An Incremental Approach to the Analysis a…On Structured Workflow Modelling (2013)On Structured Workflow Modell…Investigations on Soundness Regarding Lazy Activities (2006)Investigations on Soundness R…Compiling business processes: untangling unstructured loops in irreducible flow graphs (2006)Compiling business processes:…An Analysis and Taxonomy of Unstructured Workflows (2005)An Analysis and Taxonomy of U…Workflow Patterns (2003)Workflow PatternsA novel graph reduction algorithm to identify structural conflicts (2003)A novel graph reduction algor…An Alternative Way to Analyze Workflow Graphs (2002)An Alternative Way to Analyze…On Structured Workflow Modelling (2000)On Structured Workflow Modell…Analyzing process models using graph reduction techniques (2000)Analyzing process models usin…Verification of workflow nets (1997)Verification of workflow netsUnraveling Unstructured Process Models (2010)Unraveling Unstructured Proce…An integer programming based approach for verification and diagnosis of workflows (2010)An integer programming based …Business Process Management: A Survey (2003)Towards a Formal Framework for Reuse in Business Process Modeling (2008)Process instantiation (2009)Formal verification of complex business processes based on high-level Petri nets (2017)An overview of workflow management: From process modeling to workflow automation infrastructure (1995)THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT (1998)Translating BPMN to BPEL (2006)Translating Standard Process Models to BPEL (2006)Managing Process Model Complexity Via Abstract Syntax Modifications (2011)Design Patterns: Elements of Reusable Object-Oriented Software (1994)Getting rid of OR-joins and multiple start events in business process models (2008)On the transformation of control flow between block-oriented and graph-oriented process modelling languages (2008)The Difference Between Graph-Based and Block-Structured Business Process Modelling Languages (2015)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 Task Structures: A Petri-net-baset Approach (2000)Complexity metrics for business process models (2006)From BPMN Process Models to BPEL Web Services (2006)From business process models to process-oriented software systems (2009)Instantaneous Soundness Checking of Industrial Business Process Models (2009)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)Formalization and Verification of EPCs with OR-Joins Based on State and Context (2007)Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Relaxed Soundness and Invariants (2007)Ensuring correctness during process configuration via partner synthesis (2011)Formalization and verification of event-driven process chains (1999)Inheritance of workflows: an approach to tackling problems related to change (2002)Prediction of business process durations using non-Markovian stochastic Petri nets (2015)YAWL: yet another workflow language (2004)Scientific workflow management and the Kepler system (2005)
this work references cited by second hop

References

  • 2003Workflow Patterns2,613 cited
  • 1997Verification of workflow nets802 cited
  • 2000Analyzing process models using graph reduction techniques452 cited
  • 2013On Structured Workflow Modelling260 cited
  • 2002An Alternative Way to Analyze Workflow Graphs168 cited
  • 2000On Structured Workflow Modelling168 cited
  • 2005An Analysis and Taxonomy of Unstructured Workflows127 cited
  • 2003A novel graph reduction algorithm to identify structural conflicts79 cited
  • 2006Investigations on Soundness Regarding Lazy Activities73 cited
  • 2006Compiling business processes: untangling unstructured loops in irreducible flow graphs54 cited

Cited by

  • 2010Unraveling Unstructured Process Models30 cited
  • 2010An integer programming based approach for verification and diagnosis of workflows19 cited

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