2 citations · 2 across the 1 of their papers we have counts for
3 papers
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…
cs.SE2012★ 2 cited
State Space Exploration of RT Systems in the Cloud
Carlo Bellettini, Matteo Camilli, Lorenzo Capra +1
The growing availability of distributed and cloud computing frameworks make it possible to face complex computational problems in a more effective and convenient way. A notable exa…