CAPRA, LORENZO
CAPRA, LORENZO
Dipartimento di Informatica Giovanni Degli Antoni
Efficient Performance Analysis of Modular Rewritable Petri Nets
2024 L. Capra, M. Gribaudo
Petri Nets as Run-Time Models for Self-Adaptive Cyber-Physical Systems Cost-Benefit Analysis of Structural Transformations
2024 L. Capra, M. Kohler-Bussmeier, H. Rolke, J. Sudeikat
Modular rewritable Petri nets: An efficient model for dynamic distributed systems
2024 L. Capra, M. Kohler-Bussmeier
Modelling Adaptive Systems with Maude Nets-within-Nets
2024 L. Capra, M. Köhler-Bußmeier
Modelling Adaptive Systems with Nets-Within-Nets in Maude
2023 L. Capra, M. Köhler-Bussmeier
Encoding Nets-Within-Nets in Maude
2023 L. Capra, M. Köhler-Bußmeier
A Maude Formalization of Object Nets
2023 L. Capra, M. Köhler-Bußmeier
Maude Specification of Nets-Within-Nets: A Formal Model of Adaptable Distributed Systems
2023 L. Capra, M. Köhler-Bußmeier
Robustness: A natural Definition based on Nets-within-Nets
2023 M. Kohler-Bussmeier, L. Capra
Rewriting Logic and Petri Nets: A Natural Model for Reconfigurable Distributed Systems
2022 L. Capra
Towards a Modelling Framework for Dynamically Reconfigurable Systems Using Maude (& Petri Nets)
2022 L. Capra
Canonization of Reconfigurable PT Nets in Maude
2022 L. Capra
A structural approach to graph transformation based on symmetric Petri nets
2021 L. Capra
An Efficient Maude Formalization of (Rewritable) PT Nets
2021 L. Capra
A Maude Implementation of Rewritable Petri Nets: a Feasible Model for Dynamically Reconfigurable Systems
2021 L. Capra
General composition for Symmetric Net arc functions with applications
2021 L. Capra, M. de Pierro, G. Franceschinis
Formal specification and verification of decentralized self-adaptive systems using symmetric nets
2021 M. Camilli, L. Capra
Graph transformation systems: a semantics based on (stochastic) symmetric nets
2020 L. Capra
Emulating Self-adaptive Stochastic Petri Nets
2020 L. Capra, M. Camilli
SNexpression: A Symbolic Calculator for Symmetric Net Expressions
2020 L. Capra, M. De Pierro, G. Franceschinis