Showing cs.LOShow all
2 papers · 1 filter
cs.LO2024
Probabilistic Nets-within-Nets
Michael Köhler-Bußmeier
In this paper we study Hornets extended with firing probabilities. Hornets are a Nets-within-Nets formalism, i.e., a Petri net formalism where the tokens are Petri nets again. Each…
cs.LO2024
A "Symbolic" Representation of Object-Nets (Extended Version)
Michael Köhler-Bussmeier, Lorenzo Capra
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…