T. Guo, M. Pan, and Z. Ding, “Petri Net Structural Reduction for Temporal Epistemic Logic Verification in Multi-Agent Systems”, Comput. Inform., vol. 44, no. 6, pp. 1336–1367, Feb. 2026.