1 citations · 2 across the 5 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
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★ 1 cited
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…