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