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, Feb. 2026.