{"id":"arxiv/2604.17784","url":"https://arxiv.org/abs/2604.17784","tags":["cs.LO","quant-ph"],"score":0,"title":"Current-State Opacity in Safe Partially Observed Quantum Petri Nets: True-Concurrency Semantics and Exact Symbolic Verification","domain":"cs.LO","source":"arxiv","authors":["Sichen Ding","Zhiwu Li"],"reviews":0,"subject":"cs.LO","summary":"Classical opacity theory for discrete-event systems relies strictly on observable event sequences, fundamentally failing to capture security breaches in hybrid architectures where an attacker exploits both classical traces and localized quantum correlations. To address this gap, we formalize current-state opacity within the framework of safe partially observed quantum Petri nets by introducing a true-concurrency semantics that represents classical observations as partially ordered multisets via unfolding configurations. Building upon this, we define quantitative posterior-state leakage as…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-04-20","reactions":{}}