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: https://www.cai.sk/ojs/index.php/cai/article/view/8624 (Accessed: 19 February 2026).