{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T12:42:27Z","timestamp":1743079347239,"version":"3.40.3"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031730573"},{"type":"electronic","value":"9783031730580"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-73058-0_22","type":"book-chapter","created":{"date-parts":[[2025,1,2]],"date-time":"2025-01-02T08:44:20Z","timestamp":1735807460000},"page":"268-280","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Towards Static Analysis of\u00a0BDI Agents on\u00a0CPS Using Petri Nets and\u00a0Model-Driven Engineering"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7262-992X","authenticated-orcid":false,"given":"Burak","family":"Karaduman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4873-7848","authenticated-orcid":false,"given":"Baris Tekin","family":"Tezel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5436-6070","authenticated-orcid":false,"given":"Moharram","family":"Challenger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,1,3]]},"reference":[{"key":"22_CR1","doi-asserted-by":"crossref","unstructured":"Bordini, R.H., H\u00fcbner, J.F.: BDI agent programming in agentspeak using Jason. In: International Workshop on Computational Logic in Multi-Agent Systems, pp. 143\u2013164. Springer (2005)","DOI":"10.1007\/11750734_9"},{"key":"22_CR2","doi-asserted-by":"crossref","unstructured":"Challenger, M., Vangheluwe, H.: Towards employing ABM and MAS integrated with MBSE for the lifecycle of sCPSoS. In: Proceedings of the 23rd ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, pp.\u00a01\u20137 (2020)","DOI":"10.1145\/3417990.3421439"},{"key":"22_CR3","doi-asserted-by":"crossref","unstructured":"De\u00a0Silva, L., Meneguzzi, F.R., Logan, B.: BDI agent architectures: a survey. In: Proceedings of the 29th International Joint Conference on Artificial Intelligence (IJCAI), Jap\u00e3o (2020)","DOI":"10.24963\/ijcai.2020\/684"},{"issue":"12","key":"22_CR4","doi-asserted-by":"publisher","first-page":"5857","DOI":"10.3390\/app12125857","volume":"12","author":"EMN Gon\u00e7alves","year":"2022","unstructured":"Gon\u00e7alves, E.M.N., Machado, R.A., Rodrigues, B.C., Adamatti, D.: CPN4M: testing multi-agent systems under organizational model Moise+ using colored petri nets. Appl. Sci. 12(12), 5857 (2022)","journal-title":"Appl. Sci."},{"key":"22_CR5","doi-asserted-by":"crossref","unstructured":"Jensen, K., Kristensen, L.M., Jensen, K., Kristensen, L.M.: Formal definition of non-hierarchical coloured petri nets. In: Coloured Petri Nets: Modelling and Validation of Concurrent Systems, pp. 79\u201394 (2009)","DOI":"10.1007\/b95112_4"},{"key":"22_CR6","unstructured":"Karaduman, B., Challenger, M., Eslampanah, R., Denil, J., Vangheluwe, H.: Analyzing WSN-based IoT systems using MDE techniques and petri-net models. In: STAF 2020 Workshop Proceedings (STAF 2020), 22\u201326 June 2020, Bergen, Norway\/Burgue\u00f1o, Loli [edit.], pp. 35\u201346 (2020)"},{"key":"22_CR7","doi-asserted-by":"crossref","unstructured":"Karaduman, B., David, I., Challenger, M.: Modeling the engineering process of an agent-based production system: an exemplar study. In: 2021 ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), pp. 296\u2013305. IEEE (2021)","DOI":"10.1109\/MODELS-C53483.2021.00051"},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"Karaduman, B., Tezel, B.T., Challenger, M.: Towards applying fuzzy systems in intelligent agent-based CPS: a case study. In: 2021 6th International Conference on Computer Science and Engineering (UBMK), pp. 735\u2013740. IEEE (2021)","DOI":"10.1109\/UBMK52708.2021.9558970"},{"issue":"7","key":"22_CR9","doi-asserted-by":"publisher","first-page":"1447","DOI":"10.3390\/sym14071447","volume":"14","author":"B Karaduman","year":"2022","unstructured":"Karaduman, B., Tezel, B.T., Challenger, M.: Enhancing BDI agents using fuzzy logic for CPS and IoT interoperability using the JaCa platform. Symmetry 14(7), 1447 (2022)","journal-title":"Symmetry"},{"key":"22_CR10","doi-asserted-by":"publisher","DOI":"10.1016\/j.engappai.2023.106478","volume":"123","author":"B Karaduman","year":"2023","unstructured":"Karaduman, B., Tezel, B.T., Challenger, M.: Rational software agents with the BDI reasoning model for cyber-physical systems. Eng. Appl. Artif. Intell. 123, 106478 (2023)","journal-title":"Eng. Appl. Artif. Intell."},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"Karnouskos, S., Leitao, P., Ribeiro, L., Colombo, A.W.: Industrial agents as a key enabler for realizing industrial cyber-physical systems: multiagent systems entering industry 4.0. IEEE Ind. Electron. Mag. 14(3), 18\u201332 (2020)","DOI":"10.1109\/MIE.2019.2962225"},{"key":"22_CR12","unstructured":"Marciano, L.: CPNP: colored petri net represention of single-robot and multi-robot plans. Dissertation, Department of Computer Science, Bar-Ilan University Ramat Gan, Israel (2013)"},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"Mazal, Z., Koc\u00ed, R., Janou\u0161ek, V., Zboril, F.: PNagent: a framework for modelling BDI agents using object oriented petri nets. In: 2008 Eighth International Conference on Intelligent Systems Design and Applications, vol.\u00a02, pp. 420\u2013425 (2008)","DOI":"10.1109\/ISDA.2008.16"},{"key":"22_CR14","doi-asserted-by":"crossref","unstructured":"Mertens, J., Challenger, M., Vanherpen, K., Denil, J.: Towards real-time cyber-physical systems instrumentation for creating digital twins. In: 2020 Spring Simulation Conference (SpringSim), pp. 1\u201312. IEEE (2020)","DOI":"10.23919\/SpringSim.2019.8732849"},{"key":"22_CR15","doi-asserted-by":"crossref","unstructured":"Yalcin, M.M., Karaduman, B., Kardas, G., Challenger, M.: An agent-based cyber-physical production system using Lego technology. In: 2021 16th Conference on Computer Science and Intelligence Systems (FedCSIS), pp. 521\u2013531. IEEE (2021)","DOI":"10.15439\/2021F81"}],"container-title":["Communications in Computer and Information Science","Highlights in Practical Applications of Agents, Multi-Agent Systems, and Digital Twins: The PAAMS Collection"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-73058-0_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,2]],"date-time":"2025-01-02T09:05:15Z","timestamp":1735808715000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-73058-0_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031730573","9783031730580"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-73058-0_22","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"3 January 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"PAAMS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Practical Applications of Agents and Multi-Agent Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Salamanca","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Spain","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 June 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 June 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"paams2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.paams.net\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}