A "Symbolic" Representation of Object-Nets (Extended Version)

Document detail

ID

oai:arXiv.org:2411.00149

Topic

Computer Science - Logic in Comput... 68Q10 F.1.1

Author

Köhler-Bussmeier, Michael Capra, Lorenzo

Year

2024

listing date

11/6/2024

Keywords

petri

Metrics

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.

Köhler-Bussmeier, Michael,Capra, Lorenzo, 2024, A "Symbolic" Representation of Object-Nets (Extended Version)

Document

Open

Source

Articles recommended by ES/IODE AI

Computer Science

Learning to Assist Humans without Inferring Rewards

human representations assistive prior learning

AJNR: American Journal of Ne...

Clinical Relevance of Plaque Distribution for Basilar Artery Stenosis

study endovascular imaging wall basilar complications plaque postoperative artery plaques stenosis

BMC Cancer

Proficiency testing of diagnosis in histopathology and immunohistochemistry of breast pathology in China: results from a pilot work of National Single Disease Quality Control Program for breast cancer

pathologists evaluation assessment proficiency breast testing grade national cancer china histologic pt