Verifying generalized soundness of workflow nets
DOI10.1007/978-3-540-70881-0_21zbMATH Open1185.68452OpenAlexW2116818211MaRDI QIDQ3401950FDOQ3401950
Authors: K. M. van Hee, Olivia Oanea, Natalia Sidorova, Marc Voorhoeve 
Publication date: 2 February 2010
Published in: Perspectives of Systems Informatics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-70881-0_21
Recommendations
- Applications and Theory of Petri Nets 2004
- Verifying Generalised and Structural Soundness of Workflow Nets via Relaxations
- Reduction of workflow nets for generalised soundness verification
- Soundness of workflow nets: classification, decidability, and analysis
- Complexity of the soundness problem of workflow nets
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cited In (14)
- Model checking workflow net based on Petri net
- Decidability of $$k$$-Soundness for Workflow Nets with an Unbounded Resource
- Applications and Theory of Petri Nets 2004
- Safety and Soundness for Priced Resource-Constrained Workflow Nets
- Reduction of workflow nets for generalised soundness verification
- Verifying Generalised and Structural Soundness of Workflow Nets via Relaxations
- Applications of polyhedral computations to the analysis and verification of hardware and software systems
- Soundness of workflow nets: classification, decidability, and analysis
- Soundness of timed-arc workflow nets in discrete and continuous-time semantics
- Applications and Theory of Petri Nets 2005
- PSPACE-completeness of the soundness problem of safe asymmetric-choice workflow nets
- The complexity of soundness in workflow nets
- Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data
- Fast termination and workflow nets
Uses Software
This page was built for publication: Verifying generalized soundness of workflow nets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3401950)
