1 citations · 2 across the 5 of their papers we have counts for
8 papers
Geometric Aspects of Entanglement
Lucio De Simone, Lorenzo Capra, Arthur Vesperini +3
Quantum entanglement is a fundamental resource in quantum information theory, yet its general characterization and quantification remain challenging, especially in multipartite sys…
A Practical Approach To Verifying Structural Invariants In Colored Petri Nets
Lorenzo Capra
Structural analysis is a core method in Petri Net (PN) research, offering a perspective complementary to state-space techniques while avoiding many of their limitations. It is well…
Semi-automated Verification of Symbolic Invariants In Extended Symmetric Nets
Lorenzo Capra
Structural analysis is central to Petri Net (PN) research, complementing state-space methods while avoiding their combinatorial issues. It is well studied for classical PNs but muc…
Entanglement Dynamics in Katz-Weighted Graph States
Lucio De Simone, Lorenzo Capra, Roberto Franzosi
We investigate the entanglement dynamics of quantum states defined on graphs with non-local Ising interactions governed by the Katz kernel of the underlying network. The interactio…
A Geometric Theory of Quantum Entanglement
Lorenzo Capra, Lucio de Simone, Roberto Franzosi
Entanglement Distance (ED) was originally proposed as a geometric measure of entanglement derived from the Fubini-Study metric on the projective Hilbert space. Independently, the M…
Modular Stochastic Rewritable Petri Nets
Lorenzo Capra
Petri Nets (PN) are widely used for modeling concurrent and distributed systems, but face challenges in modeling adaptive systems. To address this, we have formalized "rewritable"…
A "Symbolic" Representation of Object-Nets (Extended Version)
Michael Köhler-Bussmeier, Lorenzo Capra
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…
Efficient Performance Analysis of Modular Rewritable Petri Nets
Lorenzo Capra, Marco Gribaudo
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…