Conservative elementary object systems

Link:
Autor/in:
Erscheinungsjahr:
2012
Medientyp:
Text
Schlagworte:
  • Petri nets
  • Multi agent systems
  • Formal model
  • Verification
  • Model Checking
  • Semantics
  • Petri nets
  • Multi agent systems
  • Formal model
  • Verification
  • Model Checking
  • Semantics
Beschreibung:
  • This contribution presents decidability results for the formalism of Elementary Object Systems (EOS). Object nets are Petri nets which have Petri nets as tokens - an approach known as the nets-within-nets paradigm. In this paper we study the relationship of the reachability and the liveness problem. We prove that both problems are undecidable for EOS (even for the subclass of conservative EOS) while it is well known that both are decidable for classical p/t nets. Despite these undecidability results, boundedness can be decided for conservative EOS using a monotonicity argument similar to that for p/t nets.
Lizenz:
  • info:eu-repo/semantics/restrictedAccess
Quellsystem:
Forschungsinformationssystem der UHH

Interne Metadaten
Quelldatensatz
oai:www.edit.fis.uni-hamburg.de:publications/e1407d64-5780-43fc-bb9e-83d1806923f8