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