SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Generalised Soundness of Workflow Nets Is Decidable
3 references·16 citing·38 second hop
Generalised Soundness of Workflow Nets Is Decidable (2004)Generalised Soundness of Workflow Nets Is…Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach (2003)Soundness and Separability of…Diagnosing Workflow Processes using Woflan (2001)Diagnosing Workflow Processes…Verification of workflow nets (1997)Verification of workflow netsSoundness of Data-Aware Processes with Arithmetic Conditions (2022)Soundness of Data-Aware Proce…Petri Net Based Data-Flow Error Detection and Correction Strategy for Business Processes (2020)Petri Net Based Data-Flow Err…Reduction Rules for Colored Workflow Nets (2016)Reduction Rules for Colored W…Verifying soundness of business processes: A decision process Petri nets approach (2014)Verifying soundness of busine…Some Complexity Results for the Soundness Problem of Workflow Nets (2013)Some Complexity Results for t…Business Process Modeling Using Petri Nets (2013)Business Process Modeling Usi…Soundness for Resource-Constrained Workflow Nets Is Decidable (2012)Soundness for Resource-Constr…Formalizing a Workflow-Net Implementation of Design-Structure-Matrix-Based Process Planning for New Product Development (2011)Formalizing a Workflow-Net Im…Decidability Results for Soundness Criteria of Resource-Constrained Workflow Nets (2011)Decidability Results for Soun…Interacting Workflow Nets for Workflow Process Re-Engineering (2010)Interacting Workflow Nets for…Soundness of Workflow Nets with Reset Arcs (2009)Soundness of Workflow Nets wi…On the relationship between workflow models and document types (2008)On the relationship between w…Verifying Generalized Soundness of Workflow Nets (2007)Verifying Generalized Soundne…Checking Properties of Adaptive Workflow Nets (2007)Checking Properties of Adapti…Structural soundness of workflow nets is decidable (2005)Structural soundness of workf…On the Suitability of Correctness Criteria for Business Process Models (2005)On the Suitability of Correct…Adeptflex—Supporting Dynamic Changes of Workflows Without Losing Control (1998)THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT (1998)BRIDGING THE GAP BETWEEN BUSINESS MODELS AND WORKFLOW SPECIFICATIONS (2004)Workflow Model Compositions Preserving Relaxed Soundness (2006)A rule-based approach to model and verify flexible business processes (2011)A modular approach to the specification and management of time duration constraints in BPMN (2019)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)Reengineering Work: Don’t Automate, Obliterate (1990)Business Process Management: A Comprehensive Survey (2013)Loosely coupled interorganizational workflows: (2000)Workflow Patterns (2003)Soundness of workflow nets: classification, decidability, and analysis (2010)Efficient deviation detection between a process model and event logs (2019)Workflow Nets With Tables and Their Soundness (2019)A model-based method for organizing tasks in product development (1994)Applying the design structure matrix to system decomposition and integration problems: a review and new directions (2001)Process planning for collaborative product development with CD-DSM in optoelectronic enterprises (2011)Improving Process Descriptions in Research by Model-Based Analysis (2020)An overview of workflow management: From process modeling to workflow automation infrastructure (1995)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)Modeling and Analysis of Workflows Using Petri Nets (1998)Formulating the Data-Flow Perspective for Business Process Management (2006)Mining Component-Based Software Behavioral Models Using Dynamic Analysis (2020)Top-Down Process Mining From Multi-Source Running Logs Based on Refinement of Petri Nets (2020)Checking Missing-Data Errors in Cyber-Physical Systems Based on the Merged Process of Petri Nets (2022)Conformance checking of mixed-paradigm process models (2020)Evaluating large language models on business process modeling: framework, benchmark, and self-improvement analysis (2025)Uniform verification of workflow soundness (2010)Measurement and Computation of Profile Similarity of Workflow Nets Based on Behavioral Relation Matrix (2018)Formalization and verification of event-driven process chains (1999)Analyzing process models using graph reduction techniques (2000)Inheritance of workflows: an approach to tackling problems related to change (2002)
this work references cited by second hop

References

  • 1997Verification of workflow nets802 cited
  • 2001Diagnosing Workflow Processes using Woflan317 cited
  • 2003Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach117 cited

Cited by

  • 2013Business Process Modeling Using Petri Nets40 cited
  • 2013Some Complexity Results for the Soundness Problem of Workflow Nets33 cited
  • 2020Petri Net Based Data-Flow Error Detection and Correction Strategy for Business Processes32 cited
  • 2005Structural soundness of workflow nets is decidable29 cited
  • 2014Verifying soundness of business processes: A decision process Petri nets approach27 cited
  • 2011Formalizing a Workflow-Net Implementation of Design-Structure-Matrix-Based Process Planning for New Product Development27 cited
  • 2005On the Suitability of Correctness Criteria for Business Process Models25 cited
  • 2008On the relationship between workflow models and document types24 cited
  • 2016Reduction Rules for Colored Workflow Nets20 cited
  • 2007Checking Properties of Adaptive Workflow Nets18 cited
  • 2022Soundness of Data-Aware Processes with Arithmetic Conditions17 cited
  • 2007Verifying Generalized Soundness of Workflow Nets

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

17 cited
  • 2011Decidability Results for Soundness Criteria of Resource-Constrained Workflow Nets16 cited
  • 2009Soundness of Workflow Nets with Reset Arcs15 cited
  • 2010Interacting Workflow Nets for Workflow Process Re-Engineering14 cited
  • 2012Soundness for Resource-Constrained Workflow Nets Is Decidable14 cited