Conservative Elementary Object Systems

DOI10.3233/FI-2012-765zbMATH Open1278.68216OpenAlexW1956331890MaRDI QIDQ4902323

Michael Köhler-Bußmeier, Frank Heitmann

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-765

zbMATH Keywords

boundednessreachabilitylivenessPetri netsnets-within-netselementary object systemsnets as tokens

Mathematics Subject Classification ID

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

Related Items (1)

Structural and Dynamic Restrictions of Elementary Object Systems

This page was built for publication: Conservative Elementary Object Systems

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