Structural and Dynamic Restrictions of Elementary Object Systems

DOI10.3233/FI-2014-1130MaRDI QIDQ5259299zbMATH OpenOpenAlexFDO

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

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)

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

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)