TY  - RPRT
TI  - Current-State Opacity in Safe Partially Observed Quantum Petri Nets: True-Concurrency Semantics and Exact Symbolic Verification
AU  - Sichen Ding
AU  - Zhiwu Li
PY  - 2026
UR  - https://arxiv.org/abs/2604.17784
ID  - 2604.17784
ER  -