Static Analysis of BDI Agents on CPS using Petri Nets and MDE Techniques

Karaduman B., Tezel B. T., Challenger M.

ACM / IEEE 27th International Conference on Model Driven Engineering Languages and Systems (MODELS), Linz, Avusturya, 22 - 27 Eylül 2024, ss.1076-1085, (Tam Metin Bildiri)

• Yayın Türü: Bildiri / Tam Metin Bildiri
• Doi Numarası: 10.1145/3652620.3687819
• Basıldığı Şehir: Linz
• Basıldığı Ülke: Avusturya
• Sayfa Sayıları: ss.1076-1085
• Anahtar Kelimeler: Coloured Petri Nets, BDI Agents Analysis, Reachability, Boundedness, Deadlock, Cyber-Physical Systems
• Dokuz Eylül Üniversitesi Adresli: Evet