GUO, Tong; PAN, Meiqin; DING, Zhijun. Petri Net Structural Reduction for Temporal Epistemic Logic Verification in Multi-Agent Systems. Computing and Informatics, [S. l.], v. 44, n. 6, p. 1336–1367, 2026. DOI: 10.31577/cai_2025_6_1336. Disponível em: https://www.cai.sk/ojs/index.php/cai/article/view/2025_6_1336. Acesso em: 23 aug. 2026.