On Compositionality of Boundedness and Liveness for Nested Petri Nets

DOI10.3233/FI-2012-762zbMath1277.68181OpenAlexW1834333901MaRDI QIDQ4902320

L. W. Dworzanski, Irina A. Lomazova

Publication date: 14 January 2013

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2012-762

Mathematics Subject Classification ID

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

Related Items (2)

Automatic construction of systems of distributed components from nested Petri nets models ⋮ Structural Place Invariants for Analyzing the Behavioral Properties of Nested Petri Nets

This page was built for publication: On Compositionality of Boundedness and Liveness for Nested Petri Nets