Guo, T.; Pan, M.; Ding, Z. Petri Net Structural Reduction for Temporal Epistemic Logic Verification in Multi-Agent Systems. Comput. Inform. 2026, 44.