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).