A "Symbolic" Representation of Object-Nets (Extended Version)
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2024
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866915001505153024 |
|---|---|
| author | Köhler-Bussmeier, Michael Capra, Lorenzo |
| author_facet | Köhler-Bussmeier, Michael Capra, Lorenzo |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2411_00149 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | A "Symbolic" Representation of Object-Nets (Extended Version) Köhler-Bussmeier, Michael Capra, Lorenzo Logic in Computer Science 68Q10 F.1.1 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. |
| title | A "Symbolic" Representation of Object-Nets (Extended Version) |
| topic | Logic in Computer Science 68Q10 F.1.1 |
| url | https://arxiv.org/abs/2411.00149 |