Guo, T., Pan, M. and Ding, Z. (2026) “Petri Net Structural Reduction for Temporal Epistemic Logic Verification in Multi-Agent Systems”, Computing and Informatics, 44(6). Available at: http://147.213.75.17/ojs/index.php/cai/article/view/8624 (Accessed: 22 February 2026).