IRIS Institutional Research Information System - AIR Archivio Istituzionale della Ricerca

CAPRA, LORENZO

CAPRA, LORENZO  

Dipartimento di Informatica Giovanni Degli Antoni  

Mostra records
Risultati 1 - 20 di 104 (tempo di esecuzione: 0.0 secondi).
Titolo Data di pubblicazione Autori Tipo File Abstract
A Lumped CTMC for Modular Rewritable PN 2025 L. Capra + Book Part (author) -
Modular Stochastic Rewritable Petri Nets 2025 Capra, Lorenzo Article (author) -
A “Symbolic” Representation of Object-Nets 2025 Capra, Lorenzo + Book Part (author) -
Petri Nets as Run-Time Models for Self-Adaptive Cyber-Physical Systems Cost-Benefit Analysis of Structural Transformations 2024 Capra L. + Book Part (author) -
A "Symbolic" Representation of Object-Nets (Extended Version) 2024 L. Capra + Article (author) -
Efficient Performance Analysis of Modular Rewritable Petri Nets 2024 Capra, Lorenzo + Article (author) -
Modelling Adaptive Systems with Maude Nets-within-Nets 2024 Capra, Lorenzo + Book Part (author) -
Modelling and Simulation of Adaptive Multi-Agent Systems with Stochastic Nets-within-Nets 2024 Capra, Lorenzo + Book Part (author) -
Modular rewritable Petri nets: An efficient model for dynamic distributed systems 2024 Capra L. + Article (author) -
A Maude Formalization of Object Nets 2023 Lorenzo Capra + Book Part (author) -
Maude Specification of Nets-Within-Nets: A Formal Model of Adaptable Distributed Systems 2023 Lorenzo Capra + Book Part (author) -
Encoding Nets-Within-Nets in Maude 2023 Capra, Lorenzo + Book Part (author) -
Robustness: A natural Definition based on Nets-within-Nets 2023 Capra L. + Book Part (author) -
Modelling Adaptive Systems with Nets-Within-Nets in Maude 2023 Capra, Lorenzo + Book Part (author) -
Towards a Modelling Framework for Dynamically Reconfigurable Systems Using Maude (& Petri Nets) 2022 Lorenzo Capra Book Part (author) -
Canonization of Reconfigurable PT Nets in Maude 2022 Capra L. Book Part (author) -
Rewriting Logic and Petri Nets: A Natural Model for Reconfigurable Distributed Systems 2022 Capra L. Book Part (author) -
A structural approach to graph transformation based on symmetric Petri nets 2021 Capra L. Article (author) -
Formal specification and verification of decentralized self-adaptive systems using symmetric nets 2021 Camilli, MCapra, L Article (author) -
An Efficient Maude Formalization of (Rewritable) PT Nets 2021 Capra, Lorenzo Book Part (author) -