CAPRA, LORENZO
CAPRA, LORENZO
Dipartimento di Informatica Giovanni Degli Antoni
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
Modelling Adaptive Systems with Maude Nets-within-Nets
2024 L. Capra, M. Köhler-Bußmeier
Modular rewritable Petri nets: An efficient model for dynamic distributed systems
2024 L. Capra, M. Kohler-Bussmeier
A Maude Formalization of Object Nets
2023 L. Capra, M. Köhler-Bußmeier
Robustness: A natural Definition based on Nets-within-Nets
2023 M. Kohler-Bussmeier, L. Capra
Maude Specification of Nets-Within-Nets: A Formal Model of Adaptable Distributed Systems
2023 L. Capra, M. Köhler-Bußmeier
Encoding Nets-Within-Nets in Maude
2023 L. Capra, M. Köhler-Bußmeier
Modelling Adaptive Systems with Nets-Within-Nets in Maude
2023 L. Capra, M. Köhler-Bussmeier
Canonization of Reconfigurable PT Nets in Maude
2022 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
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
A structural approach to graph transformation based on symmetric Petri nets
2021 L. Capra
A Maude Implementation of Rewritable Petri Nets: a Feasible Model for Dynamically Reconfigurable Systems
2021 L. Capra
An Efficient Maude Formalization of (Rewritable) PT Nets
2021 L. Capra
SNexpression: A Symbolic Calculator for Symmetric Net Expressions
2020 L. Capra, M. De Pierro, G. Franceschinis
A Petri Net-Based Model of Self-adaptive Systems and Its (Semi-)Automated Support
2020 L. Capra
Multiple sclerosis disease: A computational approach for investigating its drug interactions
2020 S. Pernice, M. Beccuti, G. Romano, M. Pennisi, A. Maglione, S. Cutrupi, F. Pappalardo, L. Capra, G. Franceschinis, M. De Pierro, G. Balbo, F. Cordero, R. Calogero
Graph transformation systems: a semantics based on (stochastic) symmetric nets
2020 L. Capra