Soundness of resource-constrained workflow nets

DOI10.1007/11494744_15MaRDI QIDQ5713505zbMATH OpenOpenAlexFDO

Authors K. M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve

Publication date 14 December 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b136988

zbMATH Keywords

concurrencyPetri netsresourcesverificationworkflow

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

• Complexity of the soundness problem of workflow nets
• Soundness of workflow nets: classification, decidability, and analysis
• Complexity of the soundness problem of bounded workflow nets
• Verifying generalized soundness of workflow nets
• Safety and Soundness for Priced Resource-Constrained Workflow Nets
• Structural soundness of workflow nets is decidable
• Resource-constrained workflow nets
• Cost soundness for priced resource-constrained workflow nets

Cited in

(23)

• Structural soundness of workflow nets is decidable
• Aligning event logs to resource-constrained \(\nu \)-Petri nets
• Computing the concurrency threshold of sound free-choice workflow nets
• On soundness for time workflow nets
• Soundness of timed-arc workflow nets in discrete and continuous-time semantics
• Cost soundness for priced resource-constrained workflow nets
• Non-controllable choice robustness expressing the controllability of workflow processes
• Interacting workflow nets for workflow process re-engineering
• Model checking Petri nets with names using data-centric dynamic systems
• Model checking workflow net based on Petri net
• Decidability of k-Soundness for Workflow Nets with an Unbounded Resource
• On the Synthesis of Zero-Safe Nets
• Soundness and separability of workflow nets in the stepwise refinement approach
• Soundness of workflow nets with reset ARCS
• Soundness verification of data-aware process models with variable-to-variable conditions
• Soundness of timed-arc workflow nets
• Soundness of workflow nets: classification, decidability, and analysis
• Safety and Soundness for Priced Resource-Constrained Workflow Nets
• Resource-constrained workflow nets
• Decidability and complexity of Petri nets with unordered data
• Generalised soundness of workflow nets is decidable
• Correctness Notions for Petri Nets with Identifiers
• Fast termination and workflow nets

This page was built for publication: Soundness of resource-constrained workflow nets

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