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