Verifying Generalised and Structural Soundness of Workflow Nets via Relaxations

DOI10.1007/978-3-031-13188-2_23MaRDI QIDQ6487345zbMATH OpenFDO

Authors Michael Blondin, Filip Mazowiecki, Philip Offtermatt

Publication date 7 December 2022

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-031-13188-2_23

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of organizations, manpower planning in operations research (90B70)

Recommendations

• Verifying generalized soundness of workflow nets
• Applications and Theory of Petri Nets 2004
• Reduction of workflow nets for generalised soundness verification
• Soundness of workflow nets: classification, decidability, and analysis
• Model checking workflow net based on Petri net

Cites work

• An SMT-based approach to coverability analysis
• Applications and Theory of Petri Nets 2004
• Complexity analysis of continuous Petri nets
• Context-free commutative grammars with integer counters and resets
• Diagnosing workflow processes using Woflan
• Diagnostic information for control-flow analysis of workflow graphs (a.k.a. free-choice workflow nets)
• Free Choice Petri Nets
• Fundamentals of control flow in workflows
• scientific article; zbMATH DE number 1696472 (Why is no real title available?)
• scientific article; zbMATH DE number 3582425 (Why is no real title available?)
• Reduction of workflow nets for generalised soundness verification
• Soundness and separability of workflow nets in the stepwise refinement approach
• Structural soundness of workflow nets is decidable
• The covering and boundedness problems for vector addition systems
• The logical view on continuous Petri nets
• The Reachability Problem for Petri Nets Is Not Elementary
• Unbounded-thread program verification using thread-state equations
• Verification of workflow nets
• Verifying Generalised and Structural Soundness of Workflow Nets via Relaxations
• Verifying generalized soundness of workflow nets

Cited in

(14)

• An analytical method for well-formed workflow/Petri net verification of classical soundness
• scientific article; zbMATH DE number 1708021 (Why is no real title available?)
• Reduction of workflow nets for generalised soundness verification
• Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data
• Verifying generalized soundness of workflow nets
• Model checking workflow net based on Petri net
• Decidability of k-Soundness for Workflow Nets with an Unbounded Resource
• Soundness and separability of workflow nets in the stepwise refinement approach
• Soundness of workflow nets: classification, decidability, and analysis
• Applications and Theory of Petri Nets 2004
• Verifying Generalised and Structural Soundness of Workflow Nets via Relaxations
• Fast termination and workflow nets
• Acyclic Petri and workflow nets with resets
• Decidability and complexity of decision problems for affine continuous vass

This page was built for publication: Verifying Generalised and Structural Soundness of Workflow Nets via Relaxations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6487345)