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

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

doi:10.48550/arXiv.2411.00149

DC Element	Wert	Sprache
dc.contributor.author	Köhler-Bußmeier, Michael	-
dc.contributor.author	Capra, Lorenzo	-
dc.date.accessioned	2024-12-06T16:26:39Z	-
dc.date.available	2024-12-06T16:26:39Z	-
dc.date.issued	2024-10-31	-
dc.identifier.uri	https://hdl.handle.net/20.500.12738/16677	-
dc.description.abstract	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.	en
dc.language.iso	en	en_US
dc.publisher	Arxiv.org	en_US
dc.relation.ispartof	De.arxiv.org	en_US
dc.subject	Computer Science - Logic in Computer Science	en_US
dc.subject	68Q10	en_US
dc.subject	F.1.1	en_US
dc.subject	automorphism	en_US
dc.subject	canonical representation	en_US
dc.subject	nets within nets	en_US
dc.subject	nets as tokens	en_US
dc.subject	state space reductions	en_US
dc.subject	symmetry	en_US
dc.subject.ddc	004: Informatik	en_US
dc.title	A "symbolic" representation of object-nets (extended version)	en
dc.type	Preprint	en_US
dc.description.version	ReviewPending	en_US
tuhh.oai.show	true	en_US
tuhh.publication.institute	Department Informatik	en_US
tuhh.publication.institute	Fakultät Technik und Informatik	en_US
tuhh.publisher.doi	10.48550/arXiv.2411.00149	-
tuhh.type.opus	Preprint (Vorabdruck)	-
dc.type.casrai	Other	-
dc.type.dini	preprint	-
dc.type.driver	preprint	-
dc.type.status	info:eu-repo/semantics/submittedVersion	en_US
dcterms.DCMIType	Text	-
item.creatorGND	Köhler-Bußmeier, Michael	-
item.creatorGND	Capra, Lorenzo	-
item.grantfulltext	none	-
item.openairetype	Preprint	-
item.fulltext	No Fulltext	-
item.languageiso639-1	en	-
item.cerifentitytype	Publications	-
item.creatorOrcid	Köhler-Bußmeier, Michael	-
item.creatorOrcid	Capra, Lorenzo	-
item.openairecristype	http://purl.org/coar/resource_type/c_816b	-
crisitem.author.dept	Department Informatik	-
crisitem.author.orcid	0000-0002-3074-4145	-
crisitem.author.parentorg	Fakultät Technik und Informatik	-
Enthalten in den Sammlungen:	Publications without full text