SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Structural soundness of workflow nets is decidable
3 references·7 citing·24 second hop
Structural soundness of workflow nets is decidable (2005)Structural soundness of workflow nets is …Generalised Soundness of Workflow Nets Is Decidable (2004)Generalised Soundness of Work…Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach (2003)Soundness and Separability of…THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT (1998)THE APPLICATION OF PETRI NETS…Measurement and Computation of Profile Similarity of Workflow Nets Based on Behavioral Relation Matrix (2018)Measurement and Computation o…Decidability Results for Soundness Criteria of Resource-Constrained Workflow Nets (2011)Decidability Results for Soun…Uniform verification of workflow soundness (2010)Uniform verification of workf…On the verification of business processes by model checking techniques (2010)On the verification of busine…Information flow analysis of scientific workflows (2009)Information flow analysis of …Verifying Generalized Soundness of Workflow Nets (2007)Verifying Generalized Soundne…Formal Modeling and Analysis of Scientific Workflows Using Hierarchical State Machines (2007)Formal Modeling and Analysis …Verification of workflow nets (1997)Diagnosing Workflow Processes using Woflan (2001)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)Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques (2000)Workflow Management: Models, Methods, and Systems (2001)Analyzing BPEL processes using Petri nets (2005)Translating unstructured workflow processes to readable BPEL: Theory and implementation (2006)Verification of the SAP reference models using EPC reduction, state-space analysis, and invariants (2007)Workflow Soundness Verification Based on Structure Theory of Petri Nets (2007)An overview of workflow management: From process modeling to workflow automation infrastructure (1995)Modeling and Analysis of Workflows Using Petri Nets (1998)Three Good Reasons for Using a Petri-Net-Based Workflow Management System (1998)UML Activity Diagrams as a Workflow Specification Language (2001)Scientific workflow management and the Kepler system (2005)Taverna: lessons in creating a workflow environment for the life sciences (2005)Workflow Management (2002)Business Process Management : Concepts, Languages, Architectures (2007)Process Mining (2016)Building Reliable Data Pipelines for Managing Community Data Using Scientific Workflows (2009)Workflow Patterns (2003)Workflow mining: discovering process models from event logs (2004)YAWL: yet another workflow language (2004)
this work references cited by second hop

References

  • 1998THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT2,706 cited
  • 2003Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach117 cited
  • 2004Generalised Soundness of Workflow Nets Is Decidable65 cited

Cited by

  • 2010Uniform verification of workflow soundness24 cited
  • 2018Measurement and Computation of Profile Similarity of Workflow Nets Based on Behavioral Relation Matrix19 cited
  • 2007Verifying Generalized Soundness of Workflow Nets17 cited
  • 2011Decidability Results for Soundness Criteria of Resource-Constrained Workflow Nets16 cited
  • 2010On the verification of business processes by model checking techniques16 cited
  • 2007Formal Modeling and Analysis of Scientific Workflows Using Hierarchical State Machines12 cited
  • 2009Information flow analysis of scientific workflows8 cited

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