Static analysis of BDI agents on CPS using Petri nets and MDE techniques

Source
MODELS Companion '24: proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, September 22-27, 2024, Linz, Austria- (2024) p. 1076-1085