Structural and Dynamic Restrictions of Elementary Object Systems

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

Michael Köhler-Bußmeier, Frank Heitmann

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)

Cited In (1)

• Invariants for non-hierarchical object structures

   Recommendations

• Conservative Elementary Object Systems 👍 👎
• A Survey of Decidability Results for Elementary Object Systems 👍 👎
• Title not available (Why is that?) 👍 👎
• Invariants for non-hierarchical object structures 👍 👎
• Title not available (Why is that?) 👍 👎
• Modular invariants for layered object structures 👍 👎
• Title not available (Why is that?) 👍 👎
• Structural refinement of systems specified in Object-Z and CSP 👍 👎

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)