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 https://www.cai.sk/ojs/index.php/cai/article/view/8624