Current-State Opacity in Safe Partially Observed Quantum Petri Nets: True-Concurrency Semantics and Exact Symbolic Verification. - Sichen Ding; Zhiwu Li 001 (CoRR, 2026)