1 citations · 2 across the 5 of their papers we have counts for
Showing cs.SCShow all
2 papers · 1 filter
cs.SC2026
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…
cs.SC2026
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…