Zobrazeno 1 - 10
of 70
pro vyhledávání: '"Capra, Lorenzo"'
In this contribution we extend the concept of a Petri net morphism to Elementary Object Systems (EOS). EOS are a nets-within-nets formalism, i.e. we allow the tokens of a Petri net to be Petri nets again. This nested structure has the consequence tha
Externí odkaz:
http://arxiv.org/abs/2411.00149
Autor:
Capra, Lorenzo, Gribaudo, Marco
Publikováno v:
EPTCS 410, 2024, pp. 69-83
Petri Nets (PN) are extensively used as a robust formalism to model concurrent and distributed systems; however, they encounter difficulties in accurately modeling adaptive systems. To address this issue, we defined rewritable PT nets (RwPT) using Ma
Externí odkaz:
http://arxiv.org/abs/2410.23762
Publikováno v:
Front. Phys. 19, 51204 (2024)
We show that the manifold of quantum states is endowed with a rich and nontrivial geometric structure. We derive the Fubini-Study metric of the projective Hilbert space of a multi-qubit quantum system, endowing it with a Riemannian metric structure,
Externí odkaz:
http://arxiv.org/abs/2307.16835
Autor:
Brandonisio, Andrea, Bechini, Michele, Civardi, Gaia Letizia, Capra, Lorenzo, Lavagna, Michèle
Publikováno v:
In Aerospace Science and Technology December 2024 155 Part 3
Autor:
Capra, Lorenzo
Publikováno v:
EPTCS 349, 2021, pp. 31-49
Petri Nets (PN) are a central, theoretically sound model for concurrent or distributed systems but, at least in their classical definition, not expressive enough to represent dynamic reconfiguration capabilities. On the other side, Rewriting Logic ha
Externí odkaz:
http://arxiv.org/abs/2111.08205
Publikováno v:
In Advances in Space Research 1 June 2024 73(11):5741-5755
Publikováno v:
In Theoretical Computer Science 1 April 2024 990
Autor:
Pernice, Simone, Beccuti, Marco, Romano, Greta, Pennisi, Marzio, Maglione, Alessandro, Cutrupi, Santina, Pappalardo, Francesco, Capra, Lorenzo, Franceschinis, Giuliana, De Pierro, Massimiliano, Balbo, Gianfranco, Cordero, Francesca, Calogero, Raffaele
Multiple Sclerosis (MS) is a chronic and potentially highly disabling disease that can cause permanent damage and deterioration of the central nervous system. In Europe it is the leading cause of non-traumatic disabilities in young adults, since more
Externí odkaz:
http://arxiv.org/abs/2006.00813
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Capra, Lorenzo
Publikováno v:
EPTCS 303, 2019, pp. 107-119
Graph transformation systems (GTS) have been successfully proposed as a general, theoretically sound model for concurrency. Petri nets (PN), on the other side, are a central and intuitive formalism for concurrent or distributed systems, well supporte
Externí odkaz:
http://arxiv.org/abs/1909.01750