Sfoglia per Autore
Canonization of Reconfigurable PT Nets in Maude
2022 L. Capra
Towards a Modelling Framework for Dynamically Reconfigurable Systems Using Maude (& Petri Nets)
2022 L. Capra
Rewriting Logic and Petri Nets: A Natural Model for Reconfigurable Distributed Systems
2022 L. Capra
Formal specification and verification of decentralized self-adaptive systems using symmetric nets
2021 M. Camilli, L. Capra
A Maude Implementation of Rewritable Petri Nets: a Feasible Model for Dynamically Reconfigurable Systems
2021 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
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
SNexpression: A Symbolic Calculator for Symmetric Net Expressions
2020 L. Capra, M. De Pierro, G. Franceschinis
Emulating Self-adaptive Stochastic Petri Nets
2020 L. Capra, M. Camilli
Graph transformation systems: a semantics based on (stochastic) symmetric nets
2020 L. Capra
A Petri Net-Based Model of Self-adaptive Systems and Its (Semi-)Automated Support
2020 L. Capra
Towards a Petri net Model for Graph Transformation Systems
2019 L. Capra
PNemu: An Extensible Modeling Library for Adaptable Distributed Systems
2019 M. Camilli, L. Capra, C. Bellettini
An Operational Semantics of Graph Transformation Systems Using Symmetric Nets
2019 L. Capra
A tool for the automatic derivation of symbolic ode from symmetric net models
2019 M. Beccuti, L. Capra, M. De Pierro, G. Franceschinis, L. Follia, S. Pernice
Formalizing distributed self-adaptive systems using high-level petri nets
2019 L. Capra, M. Camilli
A high-level petri net-based formal model of distributed self-adaptive systems
2018 M. Camilli, C.N.M. Bellettini, L. Capra
Towards Evolving Petri Nets: a Symmetric Nets-based Framework
2018 L. Capra, M. Camilli
Design-Time to Run-Time Verification of Microservices Based Applications
2018 M. Camilli, C. Bellettini, L. Capra
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile