Conservative elementary object systems

DOI10.3233/FI-2012-765MaRDI QIDQ4902323zbMATH OpenOpenAlexFDO

Authors 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

boundednesselementary object systemslivenessnets as tokensnets-within-netsPetri netsreachability

Mathematics Subject Classification ID

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

Recommendations

• A survey of decidability results for elementary object systems
• The reachability problem for object nets
• Structural and Dynamic Restrictions of Elementary Object Systems
• Applications and Theory of Petri Nets 2004
• Safeness for object nets

Cited in

(8)

• Safeness for object nets
• Liveness of safe object nets
• On the expressiveness of communication channels for object nets
• Structural and Dynamic Restrictions of Elementary Object Systems
• A survey of decidability results for elementary object systems
• Decidability problems of a basic class of object nets
• The reachability problem for object nets
• Applications and Theory of Petri Nets 2004

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)