Checking properties of adaptive workflow nets

MaRDI QIDQ5422282zbMATH OpenFDO

Authors K. M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Irina A. Lomazova

Publication date 17 October 2007

zbMATH Keywords

verificationsoundnessadaptive workflowcircumspectness

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

• Nested Nets for Adaptive Systems
• Soundness of workflow nets: classification, decidability, and analysis
• scientific article; zbMATH DE number 5051642
• Model checking workflow net based on Petri net
• WRI WF-net: verification and implementation

Cited in

(8)

• Nested Nets for Adaptive Systems
• Hornets: Nets within Nets Combined with Net Algebra
• Automatic construction of systems of distributed components from nested Petri nets models
• Decidability of k-Soundness for Workflow Nets with an Unbounded Resource
• Structural place invariants for analyzing the behavioral properties of nested Petri nets
• Object-Centric Replay-Based Conformance Checking: Unveiling Desire Lines and Local Deviations
• WRI WF-net: verification and implementation
• Boundedness of adaptive nets is decidable

Describes a project that uses

Uses Software

• Woflan

This page was built for publication: Checking properties of adaptive workflow nets

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