TY  - RPRT
TI  - A Practical Approach To Verifying Structural Invariants In Colored Petri Nets
AU  - Lorenzo Capra
PY  - 2026
DO  - 10.4204/eptcs.453.6
UR  - https://arxiv.org/abs/2609.34928
ID  - 2609.34928
ER  -