Resource-constrained workflow nets

MaRDI QIDQ5480657zbMATH OpenFDO

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

Publication date 3 August 2006

zbMATH Keywords

concurrencyPetri netsresourcesverificationworkflow

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Applications and Theory of Petri Nets 2005
• Cost soundness for priced resource-constrained workflow nets
• Safety and Soundness for Priced Resource-Constrained Workflow Nets
• Decidability of k-Soundness for Workflow Nets with an Unbounded Resource
• Computing the concurrency threshold of sound free-choice workflow nets

Cited in

(11)

• Aligning event logs to resource-constrained \(\nu \)-Petri nets
• Computing the concurrency threshold of sound free-choice workflow nets
• Cost soundness for priced resource-constrained workflow nets
• scientific article; zbMATH DE number 2088659 (Why is no real title available?)
• Model checking Petri nets with names using data-centric dynamic systems
• Process completing sequences for resource allocation systems with synchronization
• Safety and Soundness for Priced Resource-Constrained Workflow Nets
• Applications and Theory of Petri Nets 2005
• Constraint-Based Mining and Inductive Databases
• Correctness Notions for Petri Nets with Identifiers
• Exact and approximated log alignments for processes with inter-case dependencies

This page was built for publication: Resource-constrained workflow nets

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