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