Structural and Dynamic Restrictions of Elementary Object Systems

DOI10.3233/FI-2014-1130zbMATH Open1329.68185OpenAlexW1851153456MaRDI QIDQ5259299FDOQ5259299

Authors: Frank Heitmann, Michael Köhler-Bußmeier 

Publication date: 26 June 2015

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

Full work available at URL: https://doi.org/10.3233/fi-2014-1130

Recommendations

• Conservative elementary object systems
• A survey of decidability results for elementary object systems
• scientific article; zbMATH DE number 219208
• Invariants for non-hierarchical object structures
• scientific article; zbMATH DE number 3934419
• Modular invariants for layered object structures
• scientific article; zbMATH DE number 517239
• Structural refinement of systems specified in Object-Z and CSP

zbMATH Keywords

reachabilityrestrictionsnets-within-netshigh-level Petri net models

Mathematics Subject Classification ID

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

Cited In (5)

• Conservative elementary object systems
• The reachability problem for object nets
• Applications and Theory of Petri Nets 2004
• A survey of decidability results for elementary object systems
• Invariants for non-hierarchical object structures

This page was built for publication: Structural and Dynamic Restrictions of Elementary Object Systems

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