Stochastic Petri net evaluation techniques in plant automation: tuning performance indices for distributed applications. - Oliver Botti; Lorenzo Capra; Carlo Bergomi (RTS, 1995)

Performance indices to characterise concurrent applications: experimenting GSPN evaluation techniques in plant automation. - Oliver Botti; Lorenzo Capra (Software Engineering for Parallel and Distributed Systems, 1996)

A GSPN based methodology for the evaluation of concurrent applications in distributed plant automation systems. - Oliver Botti; Lorenzo Capra (J. Syst. Archit., 1996)

Using SWN nets to specify and analyze FT mechanisms adopted in electric plant automation. - Lorenzo Capra; Rossano Gaeta; Oliver Botti (SMC, 1998)

SWN Nets as a Framework for the Specification and the Analysis of FT Techniques Adopted in Electric Plant Automation. - Lorenzo Capra; Rossano Gaeta; Oliver Botti (ICATPN, 1999)

Towards Performance Analysis with Partially Symmetrical SWN. - Lorenzo Capra; Claude Dutheillet; Giuliana Franceschinis; Jean-Michel Ilié (MASCOTS, 1999)

Exploiting Partial Symmetries for Markov Chain Aggregation. - Lorenzo Capra; Claude Dutheillet; Giuliana Franceschinis; Jean-Michel Ilié (MTCS, 2000)

On the use of partial symmetries for lumping Markov chains. - Lorenzo Capra; Claude Dutheillet; Giuliana Franceschinis; Jean-Michel Ilié (SIGMETRICS Perform. Evaluation Rev., 2001)

Memory Fault Tolerance Software Mechanisms: Design and Configuration Support through SWN Models. - Paolo Ballarini; Lorenzo Capra; Giuliana Franceschinis; Massimiliano De Pierro (ACSD, 2003)

Exploitation of Local Symmetries for Efficient Performance Analysis. - Lorenzo Capra (PDPTA, 2003)

Performance and Dependability Analysis of Fault-Tolerant Memory Mechanisms Using Stochastic Well-Formed Nets. - Paolo Ballarini; Lorenzo Capra; Giuliana Franceschinis (ISCIS, 2004)

A Quotient Graph for Asymmetric Distributed Systems. - Carlo Bellettini; Lorenzo Capra (MASCOTS, 2004)

Quantitative Assessment of a Peer-to-peer Cooperative Infrastructure Using Stochastic Well-Formed Nets. - Carlo Bellettini; Lorenzo Capra; Mattia Monga (PASM, 2004)

A High Level Language for Structural Relations in Well-Formed Nets. - Lorenzo Capra; Massimiliano De Pierro; Giuliana Franceschinis (ICATPN, 2005)

Quotient Graphs for the Analysis of Asymmetric Distributed Systems: Surveying Two Alternative Approaches. - Carlo Bellettini; Lorenzo Capra (IPDPS, 2005)

Colored Petri Nets State-Space Reduction via Symbolic Execution. - Lorenzo Capra (SYNASC, 2005)

A Petri-Net Based Reflective Framework for the Evolution of Dynamic Systems. - Lorenzo Capra; Walter Cazzola (FSEN, 2005)

Applying a Symbolic Approach for SWN Enabling Test to Workflow Models. - Lorenzo Capra (SYNASC, 2006)

A Reflective PN-Based Approach to Dynamic Workflow Change. - Lorenzo Capra; Walter Cazzola (SYNASC, 2007)

Self-Evolving Petri Nets. - Lorenzo Capra; Walter Cazzola (J. Univers. Comput. Sci., 2007)

Using a Stochastic Well-formed Net model for assessing a decentralized approach to configuration management. - Carlo Bellettini; Lorenzo Capra; Mattia Monga (Perform. Evaluation, 2007)

Addressing soundness and efficiency issues in dynamic processes: a reflective PN-based modeling approach. - Lorenzo Capra (SpringSim, 2008)

A (Timed) State-Transition Semantics for Reflective Petri Nets. - Lorenzo Capra (SYNASC, 2008)

Evolving System's Modeling and Simulation through Reflective Petri Nets. - Lorenzo Capra; Walter Cazzola (ENASE, 2009)

(Toward) discrete-event simulation of reflective Petri nets. - Lorenzo Capra (SpringSim, 2009)

A Symbolic Reachability Graph and Associated Markov Process for a Class of Dynamic Petri Nets. - Lorenzo Capra (MASCOTS, 2010)

(Symbolic) state-space inspection of a class of dynamic Petri nets. - Lorenzo Capra; Walter Cazzola (SummerSim, 2010)

A lumped Markov process for a class of dynamic Petri nets. - Lorenzo Capra (SpringSim (ANSS), 2011)

Reachability Analysis of Time Basic Petri Nets: A Time Coverage Approach. - Carlo Bellettini; Lorenzo Capra (SYNASC, 2011)

Symbolic State Space Exploration of RT Systems in the Cloud. - Carlo Bellettini; Matteo Camilli; Lorenzo Capra; Mattia Monga (SYNASC, 2012)

State Space Exploration of RT Systems in the Cloud - Carlo Bellettini; Matteo Camilli; Lorenzo Capra; Mattia Monga (CoRR, 2012)

MaRDiGraS: Simplified Building of Reachability Graphs on Large Clusters. - Carlo Bellettini; Matteo Camilli; Lorenzo Capra; Mattia Monga (RP, 2013)

An Extension of the Interpreter Pattern to Define Domain-Parametric Rewriting Systems. - Lorenzo Capra; Vincenzo Stile (SYNASC, 2013)

A tool for symbolic manipulation of arc functions in symmetric net models. - Lorenzo Capra; Massimiliano De Pierro; Giuliana Franceschinis (VALUETOOLS, 2013)

Distributed CTL Model Checking in the Cloud. - Carlo Bellettini; Matteo Camilli; Lorenzo Capra; Mattia Monga (CoRR, 2013)

CTL Model Checking in the Cloud Using MapReduce. - Matteo Camilli; Carlo Bellettini; Lorenzo Capra; Mattia Monga (SYNASC, 2014)

Computing Structural Properties of Symmetric Nets. - Lorenzo Capra; Massimiliano De Pierro; Giuliana Franceschinis (QEST, 2015)

An Algebraic Petri Nets Emulator. - Lorenzo Capra (SYNASC, 2015)

Coverability Analysis of Time Basic Petri Nets with Non-Urgent Behavior. - Matteo Camilli; Carlo Bellettini; Lorenzo Capra; Mattia Monga (SYNASC, 2016)

A pure SPEC-inscribed PN model for reconfigurable systems. - Lorenzo Capra (WODES, 2016)

Distributed CTL model checking using MapReduce: theory and practice. - Carlo Bellettini; Matteo Camilli; Lorenzo Capra; Mattia Monga (Concurr. Comput. Pract. Exp., 2016)

Rewritable Stochastic Petri Nets. - Lorenzo Capra (ICCMS, 2017)

Design-Time to Run-Time Verification of Microservices Based Applications - (Short Paper). - Matteo Camilli; Carlo Bellettini; Lorenzo Capra (SEFM Workshops, 2017)

A Formal Framework for Specifying and Verifying Microservices Based Process Flows. - Matteo Camilli; Carlo Bellettini; Lorenzo Capra; Mattia Monga (SEFM Workshops, 2017)

Stochastic Petri Nets with Changeable Layout. - Lorenzo Capra (WorldCIST (1), 2017)

A high-level petri net-based formal model of distributed self-adaptive systems. - Matteo Camilli; Carlo Bellettini; Lorenzo Capra (ECSA (Companion), 2018)

Deriving Symbolic Ordinary Differential Equations from Stochastic Symmetric Nets Without Unfolding. - Marco Beccuti; Lorenzo Capra; Massimiliano De Pierro; Giuliana Franceschinis; Simone Pernice (EPEW, 2018)

A Symmetric Nets Emulator for Adaptive P/T Nets. - Lorenzo Capra; Matteo Camilli (SYNASC, 2018)

PNemu: An Extensible Modeling Library for Adaptable Distributed Systems. - Matteo Camilli; Lorenzo Capra; Carlo Bellettini (Petri Nets, 2019)

Multiple Sclerosis Disease: A Computational Approach for Investigating Its Drug Interactions. - Simone Pernice; Marco Beccuti; Greta Romano; Marzio Pennisi; Alessandro Maglione; Santina Cutrupi; Francesco Pappalardo 001; Lorenzo Capra; Giuliana Franceschinis; Massimiliano De Pierro; Gianfranco Balbo; Francesca Cordero; et al. (CIBB, 2019)

Emulating Self-adaptive Stochastic Petri Nets. - Lorenzo Capra; Matteo Camilli (EPEW, 2019)

A Tool for the Automatic Derivation of Symbolic ODE from Symmetric Net Models. - Marco Beccuti; Lorenzo Capra; Massimiliano De Pierro; Giuliana Franceschinis; Laura Follia; Simone Pernice (MASCOTS, 2019)

Formalizing distributed self-adaptive systems using high-level petri nets. - Lorenzo Capra; Matteo Camilli (SummerSim, 2019)

An Operational Semantics of Graph Transformation Systems Using Symmetric Nets. - Lorenzo Capra (FROM, 2019)

SNexpression: A Symbolic Calculator for Symmetric Net Expressions. - Lorenzo Capra; Massimiliano De Pierro; Giuliana Franceschinis (Petri Nets, 2020)

Graph Transformation Systems: A Semantics Based on (Stochastic) Symmetric Nets. - Lorenzo Capra (SETTA, 2020)

A Petri Net-Based Model of Self-adaptive Systems and Its (Semi-)Automated Support. - Lorenzo Capra (WorldCIST (1), 2020)

General Composition for Symmetric Net Arc Functions with Applications. - Lorenzo Capra; Massimiliano De Pierro; Giuliana Franceschinis (PNSE@Petri Nets, 2021)

An Efficient Maude Formalization of (Rewritable) PT Nets. - Lorenzo Capra (SYNASC, 2021)

A Maude Implementation of Rewritable Petri Nets: a Feasible Model for Dynamically Reconfigurable Systems. - Lorenzo Capra (AppFM@FM, 2021)

Formal specification and verification of decentralized self-adaptive systems using symmetric nets. - Matteo Camilli; Lorenzo Capra (Discret. Event Dyn. Syst., 2021)

A structural approach to graph transformation based on symmetric Petri nets. - Lorenzo Capra (J. Log. Algebraic Methods Program., 2021)

A Maude Formalization of Object Nets. - Lorenzo Capra; Michael Köhler-Bußmeier (ECSA (Tracks and Workshops), 2022)

Rewriting Logic and Petri Nets: A Natural Model for Reconfigurable Distributed Systems. - Lorenzo Capra (ICDCIT, 2022)

Canonization of Reconfigurable PT Nets in Maude. - Lorenzo Capra (RP, 2022)

Correction to: Formal specification and verification of decentralized self-adaptive systems using symmetric nets. - Matteo Camilli; Lorenzo Capra (Discret. Event Dyn. Syst., 2022)

Robustness: A natural Definition based on Nets-within-Nets. - Michael Köhler-Bussmeier; Lorenzo Capra (PNSE@Petri Nets, 2023)

Modelling Adaptive Systems with Nets-Within-Nets in Maude. - Lorenzo Capra; Michael Köhler-Bussmeier (ENASE, 2023)

Maude Specification of Nets-Within-Nets: A Formal Model of Adaptable Distributed Systems. - Lorenzo Capra; Michael Köhler-Bußmeier (SAC, 2023)

Modelling Adaptive Systems with Maude Nets-within-Nets. - Lorenzo Capra; Michael Köhler-Bußmeier (WorldCIST (3), 2023)

Petri Nets as Run-Time Models for Self-Adaptive Cyber-Physical Systems. - Lorenzo Capra; Michael Köhler-Bussmeier; Heiko Rölke; Jan Sudeikat (PNSE@Petri Nets, 2024)

A Lumped CTMC for Modular Rewritable PN. - Lorenzo Capra; Marco Gribaudo (EPEW, 2024)

Modelling and Simulation of Adaptive Multi-Agent Systems with Stochastic Nets-within-Nets. - Michael Köhler-Bußmeier; Lorenzo Capra (IJCCI, 2024)

Efficient Performance Analysis of Modular Rewritable Petri Nets. - Lorenzo Capra; Marco Gribaudo (FROM, 2024)

A "Symbolic" Representation of Object-Nets (Extended Version). - Michael Köhler-Bussmeier; Lorenzo Capra (CoRR, 2024)

Modular rewritable Petri nets: An efficient model for dynamic distributed systems. - Lorenzo Capra; Michael Köhler-Bußmeier (Theor. Comput. Sci., 2024)

Modular Stochastic Rewritable Petri Nets. - Lorenzo Capra (ICLP, 2024)

Analysing Probabilistic Hornets. - Michael Köhler-Bußmeier; Lorenzo Capra (Petri Nets, 2025)

SNexpression: A New Component for SN Matrix-Based Structural Analysis. - Lorenzo Capra; Massimiliano De Pierro; Giuliana Franceschinis (FORTE, 2025)

A "Symbolic" Representation of Object-Nets. - Michael Köhler-Bußmeier; Lorenzo Capra (ICDCIT, 2025)

Modelling Dependable Systems with Modular Rewritable Stochastic Petri Nets. - Lorenzo Capra (SAC, 2025)

Associating a Markov Process with Maude Executable Modules. - Lorenzo Capra (SIMULTECH, 2025)