A "Symbolic" Representation of Object-Nets (Extended Version)
Logic in Computer Science
2024-11-04 v1
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.
Keywords
Cite
@article{arxiv.2411.00149,
title = {A "Symbolic" Representation of Object-Nets (Extended Version)},
author = {Michael Köhler-Bussmeier and Lorenzo Capra},
journal= {arXiv preprint arXiv:2411.00149},
year = {2024}
}