3 papers
cs.PF2025
Modular Stochastic Rewritable Petri Nets
Lorenzo Capra
Petri Nets (PN) are widely used for modeling concurrent and distributed systems, but face challenges in modeling adaptive systems. To address this, we have formalized "rewritable"…
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…
cs.PF2024
Efficient Performance Analysis of Modular Rewritable Petri Nets
Lorenzo Capra, Marco Gribaudo
Petri Nets (PN) are extensively used as a robust formalism to model concurrent and distributed systems; however, they encounter difficulties in accurately modeling adaptive systems…