CAPRA, LORENZO

CAPRA, LORENZO  

Dipartimento di Informatica Giovanni Degli Antoni  

Mostra records
Risultati 1 - 20 di 97 (tempo di esecuzione: 0.0 secondi).
Titolo Data di pubblicazione Autori Tipo File Abstract
Modelling Adaptive Systems with Maude 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) -
Robustness: A natural Definition based on Nets-within-Nets 2023 Capra L. + Book Part (author) -
Maude Specification of Nets-Within-Nets: A Formal Model of Adaptable Distributed Systems 2023 Lorenzo Capra + Book Part (author) -
A Maude Formalization of Object Nets 2023 Lorenzo Capra + Book Part (author) -
Modelling Adaptive Systems with Nets-Within-Nets in Maude 2023 Capra, Lorenzo + Book Part (author) -
Encoding 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) -
Rewriting Logic and Petri Nets: A Natural Model for Reconfigurable Distributed Systems 2022 Capra L. Book Part (author) -
Canonization of Reconfigurable PT Nets in Maude 2022 Capra L. Book Part (author) -
A Maude Implementation of Rewritable Petri Nets: a Feasible Model for Dynamically Reconfigurable Systems 2021 Capra, Lorenzo Article (author) -
General composition for Symmetric Net arc functions with applications 2021 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) -
Graph transformation systems: a semantics based on (stochastic) symmetric nets 2020 Capra L. Book Part (author) -
Emulating Self-adaptive Stochastic Petri Nets 2020 Capra L.Camilli M. Book Part (author) -
Multiple sclerosis disease: A computational approach for investigating its drug interactions 2020 Pennisi M.Cutrupi S.Pappalardo F.Capra L. + Book Part (author) -
A Petri Net-Based Model of Self-adaptive Systems and Its (Semi-)Automated Support 2020 Capra L. Book Part (author) -
SNexpression: A Symbolic Calculator for Symmetric Net Expressions 2020 Capra L. + Book Part (author) -