detalle del documento
IDENTIFICACIÓN
oai:arXiv.org:2411.00149
Tema
Computer Science - Logic in Comput... 68Q10 F.1.1Autor
Köhler-Bussmeier, Michael Capra, LorenzoCategoría
Computer Science
Año
2024
fecha de cotización
6/11/2024
Palabras clave
petriResumen
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.
Köhler-Bussmeier, Michael,Capra, Lorenzo, 2024, A "Symbolic" Representation of Object-Nets (Extended Version)
Clinical Relevance of Plaque Distribution for Basilar Artery Stenosis
study endovascular imaging wall basilar complications plaque postoperative artery plaques stenosis
