Guo, Tong, et al. “Petri Net Structural Reduction for Temporal Epistemic Logic Verification in Multi-Agent Systems”. Computing and Informatics, vol. 44, no. 6, Feb. 2026, pp. 1336–1367, doi:10.31577/cai_2025_6_1336.