CAPRA, LORENZO
CAPRA, LORENZO
Dipartimento di Informatica Giovanni Degli Antoni
(Symbolic) state-space inspection of a class of dynamic Petri nets
2010 L. Capra, W. Cazzola
(Symbolic) state-space inspection of a class of dynamic Petri nets
2010 L. Capra, W. Cazzola
(Toward) Discrete-event simulation of reflective Petri nets
2009 L. Capra
A (timed) state-transition semantics for reflective petri nets
2008 L. Capra
A comparative assessment of peer-to-peer and server-based configuration management systems
2004 C. Bellettini, L. Capra, M. Monga
A Formal Framework for Specifying and Verifying Microservices Based Process Flows
2018 M. Camilli, C. Bellettini, L. Capra, M. Monga
A GSPN based methodology for the evaluation of concurrent applications in distributed plant automation systems
1996 O. Botti, L. Capra
A High Level Language for Structural Relations in Well-formed Nets
2005 L. Capra, M. De Pierro, G. Franceschinis
A high-level petri net-based formal model of distributed self-adaptive systems
2018 M. Camilli, C.N.M. Bellettini, L. Capra
A lumped Markov process for a class of dynamic Petri nets
2011 L. Capra
A Markov process for reflective Petri Nets
2008 L. Capra
A Maude Implementation of Rewritable Petri Nets: a Feasible Model for Dynamically Reconfigurable Systems
2021 L. Capra
A Petri Net-Based Model of Self-adaptive Systems and Its (Semi-)Automated Support
2020 L. Capra
A Petri-Net Based Reflective Framework
2005 L. Capra, W. Cazzola
A Petri-Net based reflective framework for the evolution of dynamic systems
2006 L. Capra, W. Cazzola
A pure SPEC-inscribed PN model for reconfigurable systems
2016 L. Capra
A quotient graph for asymmetric distributed systems
2004 C. Bellettini, L. Capra
A quotient-graph for the analysis of reflective Petri nets
2010 L. Capra
A Reflective PN-based Approach to Dynamic Workflow Change
2007 L. Capra, W. Cazzola
A structural approach to graph transformation based on symmetric Petri nets
2021 L. Capra