scientific article; zbMATH DE number 5201488
From MaRDI portal
Publication:5422282
zbMath1124.68062MaRDI QIDQ5422282
Alexander Serebrenik, Olivia Oanea, K. M. van Hee, Marc Voorhoeve, Natalia Sidorova, Irina A. Lomazova
Publication date: 17 October 2007
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (6)
Decidability of $$k$$-Soundness for Workflow Nets with an Unbounded Resource ⋮ Boundedness of adaptive nets is decidable ⋮ Automatic construction of systems of distributed components from nested Petri nets models ⋮ Hornets: Nets within Nets Combined with Net Algebra ⋮ Structural Place Invariants for Analyzing the Behavioral Properties of Nested Petri Nets ⋮ Object-Centric Replay-Based Conformance Checking: Unveiling Desire Lines and Local Deviations
Uses Software
This page was built for publication: