A "symbolic" representation of object-nets (extended version)

Link:
Autor/in:
Verlag/Körperschaft:
Arxiv.org
Erscheinungsjahr:
2024
Medientyp:
Text
Schlagworte:
  • Computer Science - Logic in Computer Science
  • 68Q10
  • F.1.1
  • automorphism
  • canonical representation
  • nets within nets
  • nets as tokens
  • state space reductions
  • symmetry
  • 004: Informatik
  • ddc:004
Beschreibung:
  • In this contribution we extend the concept of a Petri net morphism to Elementary Object Systems (EOS). EOS are a nets-within-nets formalism, i.e. we allow the tokens of a Petri net to be Petri nets again. This nested structure has the consequence that even systems defined by very small Petri nets have a quite huge reachability graph. In this contribution we use automorphism to describe symmetries of the Petri net topology. Since these symmetries carry over to markings as well this leads to a condensed state space, too.
  • ReviewPending
Quellsystem:
ReposIt

Interne Metadaten
Quelldatensatz
oai:reposit.haw-hamburg.de:20.500.12738/16677