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: http://147.213.75.17/ojs/index.php/cai/article/view/2025_6_1336. Acesso em: 28 apr. 2026.