Current-State Opacity in Safe Partially Observed Quantum Petri Nets: True-Concurrency Semantics and Exact Symbolic Verification — Sichen Ding, Zhiwu Li | Kutubxona