Guo, T., Pan, M. and Ding, Z. (2026) “Petri Net Structural Reduction for Temporal Epistemic Logic Verification in Multi-Agent Systems”, Computing and Informatics, 44(6), pp. 1336–1367. doi: 10.31577/cai_2025_6_1336.