Verifying generalized soundness of workflow nets

DOI10.1007/978-3-540-70881-0_21MaRDI QIDQ3401950zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

verificationworkflowsPetri netssoundness

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)

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

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

Describes a project that uses

Uses Software

• PPL

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)