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

Köhler-Bußmeier, Michael; Capra, Lorenzo

doi:10.48550/arXiv.2411.00149

Verlagslink DOI:	10.48550/arXiv.2411.00149
Titel:	A "symbolic" representation of object-nets (extended version)
Sprache:	Englisch
Autorenschaft:	Köhler-Bußmeier, Michael Capra, Lorenzo
Schlagwörter:	Computer Science - Logic in Computer Science; 68Q10; F.1.1; automorphism; canonical representation; nets within nets; nets as tokens; state space reductions; symmetry
Erscheinungsdatum:	31-Okt-2024
Verlag:	Arxiv.org
Zeitschrift oder Schriftenreihe:	De.arxiv.org
Zusammenfassung:	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.
URI:	https://hdl.handle.net/20.500.12738/16677
Begutachtungsstatus:	Nur bei Preprints: Diese Version ist noch nicht begutachtet
Einrichtung:	Department Informatik Fakultät Technik und Informatik
Dokumenttyp:	Vorabdruck (Preprint)
Enthalten in den Sammlungen:	Publications without full text