15 citations · 27 across the 5 of their papers we have counts for
6 papers
A Maude Implementation of Rewritable Petri Nets: a Feasible Model for Dynamically Reconfigurable Systems
Lorenzo Capra
Petri Nets (PN) are a central, theoretically sound model for concurrent or distributed systems but, at least in their classical definition, not expressive enough to represent dynam…
Multiple Sclerosis disease: a computational approach for investigating its drug interactions
Simone Pernice, Marco Beccuti, Greta Romano +10
Multiple Sclerosis (MS) is a chronic and potentially highly disabling disease that can cause permanent damage and deterioration of the central nervous system. In Europe it is the l…
An Operational Semantics of Graph Transformation Systems Using Symmetric Nets
Lorenzo Capra
Graph transformation systems (GTS) have been successfully proposed as a general, theoretically sound model for concurrency. Petri nets (PN), on the other side, are a central and in…
Distributed CTL Model Checking in the Cloud
Carlo Bellettini, Matteo Camilli, Lorenzo Capra +1
The recent extensive availability of "big data" platforms calls for a more widespread adoption by the formal verification community. In fact, formal verification requires high perf…
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…
Reachability Analysis of Time Basic Petri Nets: a Time Coverage Approach
Carlo Bellettini, Lorenzo Capra
We introduce a technique for reachability analysis of Time-Basic (TB) Petri nets, a powerful formalism for real- time systems where time constraints are expressed as intervals, rep…