{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,12]],"date-time":"2026-02-12T13:52:10Z","timestamp":1770904330663,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":39,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,9,22]],"date-time":"2024-09-22T00:00:00Z","timestamp":1726963200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,9,22]]},"DOI":"10.1145\/3652620.3687819","type":"proceedings-article","created":{"date-parts":[[2024,10,31]],"date-time":"2024-10-31T18:06:36Z","timestamp":1730397996000},"page":"1076-1085","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Static Analysis of BDI Agents on CPS using Petri Nets and MDE Techniques"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7262-992X","authenticated-orcid":false,"given":"Burak","family":"Karaduman","sequence":"first","affiliation":[{"name":"Computer Science, University of Antwerp, Antwerp, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4873-7848","authenticated-orcid":false,"given":"Baris Tekin","family":"Tezel","sequence":"additional","affiliation":[{"name":"Computer Science, Dokuz Eylul University, Izmir, Turkiye"},{"name":"Computer Science, University of Antwerp, Antwerp, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5436-6070","authenticated-orcid":false,"given":"Moharram","family":"Challenger","sequence":"additional","affiliation":[{"name":"Computer Science, University of Antwerp, Antwerp, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,10,31]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Synthesis of Agent-Based Decision-Making Systems with Multiple Coalitions. In 2023 International Conference on Electromechanical and Energy Systems (SIELMEN). IEEE, 1--5.","author":"Ababii Victor","year":"2023","unstructured":"Victor Ababii, Viorica Sudacevschi, Silvia Munteanu, Viorel Carbune, Radu Melnic, and Victor Lasco. 2023. Synthesis of Agent-Based Decision-Making Systems with Multiple Coalitions. In 2023 International Conference on Electromechanical and Energy Systems (SIELMEN). IEEE, 1--5."},{"key":"e_1_3_2_1_2_1","volume-title":"Interaction Petri Nets for Modeling Multiagent Interactions. In 2023 Congress in Computer Science, Computer Engineering, & Applied Computing (CSCE). IEEE","author":"Aldahash Norah","year":"2023","unstructured":"Norah Aldahash, Steve King, and Abir Benabid. 2023. Interaction Petri Nets for Modeling Multiagent Interactions. In 2023 Congress in Computer Science, Computer Engineering, & Applied Computing (CSCE). IEEE, 2061--2068."},{"key":"e_1_3_2_1_3_1","volume-title":"2022 18th International Conference on Distributed Computing in Sensor Systems (DCOSS). IEEE, 237--243","author":"Allison Mark","year":"2022","unstructured":"Mark Allison and Matthew Spradling. 2022. Modeling Sub-Team Formations for Heterogeneous Multi-Robot Systems using Colored Petri-Net Semantics. In 2022 18th International Conference on Distributed Computing in Sensor Systems (DCOSS). IEEE, 237--243."},{"key":"e_1_3_2_1_4_1","volume-title":"International Conference on Practical Applications of Agents and Multi-Agent Systems. Springer, 16--29","author":"Alzetta Francesco","year":"2020","unstructured":"Francesco Alzetta, Paolo Giorgini, Mauro Marinoni, and Davide Calvaresi. 2020. RT-BDI: a real-time BDI model. In International Conference on Practical Applications of Agents and Multi-Agent Systems. Springer, 16--29."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"Blair Archibald Muffy Calder Michele Sevegnani and Mengwei Xu. 2022. Verifying BDI agents in dynamic environments. (2022).","DOI":"10.18293\/SEKE2022-149"},{"key":"e_1_3_2_1_6_1","volume-title":"Quantitative modelling and analysis of BDI agents. Software and Systems Modeling","author":"Archibald Blair","year":"2023","unstructured":"Blair Archibald, Muffy Calder, Michele Sevegnani, and Mengwei Xu. 2023. Quantitative modelling and analysis of BDI agents. Software and Systems Modeling (2023), 1--25."},{"key":"e_1_3_2_1_7_1","volume-title":"International workshop on computational logic in multi-agent systems. Springer, 143--164","author":"Bordini Rafael H","year":"2005","unstructured":"Rafael H Bordini and Jomi F H\u00fcbner. 2005. BDI agent programming in AgentSpeak using Jason. In International workshop on computational logic in multi-agent systems. Springer, 143--164."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3417990.3421439"},{"key":"e_1_3_2_1_9_1","unstructured":"R Scott Cost Ye Chen Tim Finin Yannis K Labrou Yun Peng et al. 1999. Modeling agent conversations with colored petri nets. In Working notes of the Autonomous Agents' 99 Workshop on Specifying and Implementing Conversation Policies."},{"key":"e_1_3_2_1_10_1","volume-title":"Proceedings of the 29th International Joint Conference on Artificial Intelligence (IJCAI)","author":"Silva Lavindra De","year":"2020","unstructured":"Lavindra De Silva, Felipe Rech Meneguzzi, and Brian Logan. 2020. BDI agent architectures: A survey. In Proceedings of the 29th International Joint Conference on Artificial Intelligence (IJCAI), 2020, Jap\u00e3o."},{"key":"e_1_3_2_1_11_1","volume-title":"2020 International Joint Conference on Neural Networks (IJCNN). IEEE, 1--8.","author":"Firme Bernardo","year":"2020","unstructured":"Bernardo Firme, Guilherme Lopes, Miguel SE Martins, Tiago Coito, Joaquim Viegas, Jo\u00e3o MC Sousa, Jo\u00e3o CP Reis, Jo\u00e3o Figueiredo, and Susana Vieira. 2020. Multi-agent system for dynamic scheduling. In 2020 International Joint Conference on Neural Networks (IJCNN). IEEE, 1--8."},{"key":"e_1_3_2_1_12_1","volume-title":"Bruno Coelho Rodrigues, and Diana Adamatti.","author":"Nunes Gon\u00e7alves Eder Mateus","year":"2022","unstructured":"Eder Mateus Nunes Gon\u00e7alves, Ricardo Arend Machado, Bruno Coelho Rodrigues, and Diana Adamatti. 2022. Cpn4m: Testing multi-agent systems under organizational model m oise+ using colored petri nets. Applied Sciences 12, 12 (2022)."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","DOI":"10.1007\/b95112","volume-title":"Formal definition of non-hierarchical coloured petri nets. Coloured Petri Nets: Modelling and Validation of Concurrent Systems","author":"Jensen Kurt","year":"2009","unstructured":"Kurt Jensen, Lars M Kristensen, Kurt Jensen, and Lars M Kristensen. 2009. Formal definition of non-hierarchical coloured petri nets. Coloured Petri Nets: Modelling and Validation of Concurrent Systems (2009), 79--94."},{"key":"e_1_3_2_1_14_1","volume-title":"In STAF 2020 Workshop Proceedings (STAF","author":"Karaduman Burak","year":"2020","unstructured":"Burak Karaduman, Moharram Challenger, Raheleh Eslampanah, Joachim Denil, and Hans Vangheluwe. 2020. Analyzing WSN-based IoT systems using MDE techniques and petri-net models. In In STAF 2020 Workshop Proceedings (STAF 2020), June 22--26, Bergen, Norway\/Burgue\u00f1o, Loli [edit.]. 35--46."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/MODELS-C53483.2021.00051"},{"key":"e_1_3_2_1_16_1","volume-title":"2021 6th International Conference on Computer Science and Engineering (UBMK). IEEE, 735--740","author":"Karaduman Burak","year":"2021","unstructured":"Burak Karaduman, Baris Tekin Tezel, and Moharram Challenger. 2021. Towards applying fuzzy systems in intelligent agent-based cps: A case study. In 2021 6th International Conference on Computer Science and Engineering (UBMK). IEEE, 735--740."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.3390\/sym14071447"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.engappai.2023.106478"},{"key":"e_1_3_2_1_19_1","volume-title":"Baris Tekin Tezel, and Moharram Challenger","author":"Karaduman Burak","year":"2024","unstructured":"Burak Karaduman, Baris Tekin Tezel, and Moharram Challenger. 2024. Towards Static Analysis of BDI Agents on CPS Using Petri Nets and Model-Driven Engineering. In International Conference on Practical Applications of Agents and Multi-Agent Systems. Springer (in press)."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/MIE.2019.2962225"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2021.102729"},{"key":"e_1_3_2_1_22_1","unstructured":"Malvina Latifaj Federico Ciccozzi Mattias Mohlin and Ernesto Posse. 2021. Towards Automated Support for Blended Modelling of UML-RT Embedded Software Architectures.. In ECSA (Companion)."},{"key":"e_1_3_2_1_23_1","volume-title":"Model for Verification of Agent Commutations of Distributed Multiagent Systems. In 2021 IEEE 4th International Conference on Advanced Information and Communication Technologies (AICT).","author":"Martynyuk Oleksandr","year":"2021","unstructured":"Oleksandr Martynyuk, Oleksandr Drozd, Anatoliy Sachenko, Hanna Stepova, Bui Van Thuong, and Dmitry Martynyuk. 2021. Model for Verification of Agent Commutations of Distributed Multiagent Systems. In 2021 IEEE 4th International Conference on Advanced Information and Communication Technologies (AICT)."},{"key":"e_1_3_2_1_24_1","volume-title":"2008 Eighth International Conference on Intelligent Systems Design and Applications","volume":"2","author":"Mazal Zdenek","year":"2008","unstructured":"Zdenek Mazal, Radek Koc\u00ed, Vladim\u00edr Janou\u0161ek, and Franti\u0161ek Zboril. 2008. PNagent: a Framework for Modelling BDI Agents using Object Oriented Petri Nets. In 2008 Eighth International Conference on Intelligent Systems Design and Applications, Vol. 2. 420--425."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/3408207.3408241"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"crossref","unstructured":"Rakshit Mittal Rochishnu Banerjee Dominique Blouin and Soumyadip Bandyopadhyay. 2021. Towards an Approach for Translation Validation of Thread-level Parallelizing Transformations using Colored Petri Nets.. In ICSOFT. 533--541.","DOI":"10.5220\/0010581000002992"},{"key":"e_1_3_2_1_27_1","volume-title":"Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency","author":"Mittal Rakshit","year":"2020","unstructured":"Rakshit Mittal, Rochishnu Banerjee, Santonu Sarkar, and Soumyadip Bandyopadhyay. 2020. Translation validation of loop involving code optimizing transformations using petri net based models of programs. In Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency, 2020. 1--9."},{"key":"e_1_3_2_1_28_1","volume-title":"28th Asia-Pacific Software Engineering Conference (APSEC). IEEE.","author":"Mittal Rakshit","year":"2021","unstructured":"Rakshit Mittal, Dominique Blouin, and Soumyadip Bandyopadhyay. 2021. PNPEq: Verification of Scheduled Conditional Behavior in Embedded Software using Petri Nets. In 28th Asia-Pacific Software Engineering Conference (APSEC). IEEE."},{"key":"e_1_3_2_1_29_1","unstructured":"NA Mulyar and WMP Van der Aalst. 2005. Patterns in colored Petri nets. Technische Universiteit Eindhoven."},{"key":"e_1_3_2_1_30_1","first-page":"3","article-title":"Formal Verification of Emergent Properties","volume":"45","author":"Ober Iulian","year":"2021","unstructured":"Iulian Ober, Kamal Boumaza, and Cherif Tolba. 2021. Formal Verification of Emergent Properties. Informatica 45, 3 (Oct. 2021).","journal-title":"Informatica"},{"key":"e_1_3_2_1_31_1","volume-title":"Proceedings of the International Conference on Advanced Technologies","volume":"11","author":"Odeh Alaa","year":"2023","unstructured":"Alaa Odeh, Rashid Jayousi, and Amjad Ratrot. 2023. Toward Competent City Management using Multi-agent System (MAS). In Proceedings of the International Conference on Advanced Technologies, Vol. 11. 177--188."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2002.1.1.c4"},{"key":"e_1_3_2_1_33_1","volume-title":"Developing IoT artifacts in a MAS platform. Electronics 11, 4","author":"Palanca Javier","year":"2022","unstructured":"Javier Palanca, Jaime Rincon, Vicente Julian, Carlos Carrascosa, and Andr\u00e9s Terrasa. 2022. Developing IoT artifacts in a MAS platform. Electronics 11, 4 (2022)."},{"key":"e_1_3_2_1_34_1","volume-title":"Debugging for the domain-specific agent modeling languages of software agents. Ph. D. Dissertation","author":"Tezel Baris Tekin","unstructured":"Baris Tekin Tezel. 2020. Debugging for the domain-specific agent modeling languages of software agents. Ph. D. Dissertation. Ege University, T\u00fcrkiye."},{"key":"e_1_3_2_1_35_1","unstructured":"Baris Tekin Tezel and Geylani Kardas. 2018. Towards Providing Debugging in the Domain-Specific Modeling Languages for Software Agents.. In MoDELS (Workshops). 538--540."},{"key":"e_1_3_2_1_36_1","volume-title":"8th Symposium on Languages, Applications and Technologies (SLATE","author":"Tezel Baris Tekin","year":"2019","unstructured":"Baris Tekin Tezel and Geylani Kardas. 2019. A Conceptual Generic Framework to Debugging in the Domain-Specific Modeling Languages for Multi-Agent Systems. In 8th Symposium on Languages, Applications and Technologies (SLATE 2019). Schloss Dagstuhl-Leibniz-Zentrum f\u00fcr Informatik."},{"key":"e_1_3_2_1_37_1","volume-title":"International Conference on Integrated Formal Methods. Springer, 364--373","author":"Xu Mengwei","year":"2023","unstructured":"Mengwei Xu, Thibault Rivoalen, Blair Archibald, and Michele Sevegnani. 2023. can-verify: A Verification Tool For BDI Agents. In International Conference on Integrated Formal Methods. Springer, 364--373."},{"key":"e_1_3_2_1_38_1","volume-title":"2021 16th Conference on computer science and intelligence systems (FedCSIS). IEEE, 521--531","author":"Yalcin Metehan Mustafa","year":"2021","unstructured":"Metehan Mustafa Yalcin, Burak Karaduman, Geylani Kardas, and Moharram Challenger. 2021. An agent-based cyber-physical production system using lego technology. In 2021 16th Conference on computer science and intelligence systems (FedCSIS). IEEE, 521--531."},{"key":"e_1_3_2_1_39_1","first-page":"1987","article-title":"A bankruptcy based approach to solving multi-agent credit assignment problem","volume":"12","author":"Yarahmadi Hossein","year":"2021","unstructured":"Hossein Yarahmadi, Mohammad Ebrahim Shiri, Hamidreza Navidi, and Arash Shafiri. 2021. A bankruptcy based approach to solving multi-agent credit assignment problem. International Journal of Nonlinear Analysis and Applications 12 (2021), 1987--2018.","journal-title":"International Journal of Nonlinear Analysis and Applications"}],"event":{"name":"MODELS Companion '24: ACM\/IEEE 27th International Conference on Model Driven Engineering Languages and Systems","location":"Linz Austria","acronym":"MODELS Companion '24","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","Johannes Kepler University Linz","IEEE CS"]},"container-title":["Proceedings of the ACM\/IEEE 27th International Conference on Model Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3652620.3687819","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3652620.3687819","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:04:01Z","timestamp":1750291441000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3652620.3687819"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9,22]]},"references-count":39,"alternative-id":["10.1145\/3652620.3687819","10.1145\/3652620"],"URL":"https:\/\/doi.org\/10.1145\/3652620.3687819","relation":{},"subject":[],"published":{"date-parts":[[2024,9,22]]},"assertion":[{"value":"2024-10-31","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}