PETRI NET STRUCTURAL REDUCTION FOR TEMPORAL EPISTEMIC LOGIC VERIFICATION IN MULTI-AGENT SYSTEMS.

Saved in:

Bibliographic Details
Title:	PETRI NET STRUCTURAL REDUCTION FOR TEMPORAL EPISTEMIC LOGIC VERIFICATION IN MULTI-AGENT SYSTEMS.
Authors:	GUO, Tong^1,2, PAN, Meiqin³, DING, Zhijun^1,2, zhijun_ding@outlook.com
Source:	Computing & Informatics; 2025, Vol. 44 Issue 6, p1336-1367, 32p
Database:	Applied Science & Technology Source

Description
ISSN:	13359150
DOI:	10.31577/cai_2025_6_1336