{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T01:56:10Z","timestamp":1740102970960,"version":"3.37.3"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031614323"},{"type":"electronic","value":"9783031614330"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"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":[[2024]]},"DOI":"10.1007\/978-3-031-61433-0_20","type":"book-chapter","created":{"date-parts":[[2024,6,12]],"date-time":"2024-06-12T16:02:01Z","timestamp":1718208121000},"page":"413-431","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Using Petri Nets for\u00a0Digital Twins Modeling and\u00a0Deployment: A Power Wheelchair System Case Study"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5796-6653","authenticated-orcid":false,"given":"Carolina","family":"Lagartinho-Oliveira","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0930-7418","authenticated-orcid":false,"given":"Filipe","family":"Moutinho","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4299-8270","authenticated-orcid":false,"given":"Lu\u00eds","family":"Gomes","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,6,13]]},"reference":[{"issue":"2","key":"20_CR1","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1109\/TCST.2017.2669147","volume":"26","author":"LK Singh","year":"2018","unstructured":"Singh, L.K., Rajput, H.: Dependability analysis of safety critical real-time systems by using Petri nets. IEEE Trans. Control Syst. Technol. 26(2), 415\u2013426 (2018). https:\/\/doi.org\/10.1109\/TCST.2017.2669147","journal-title":"IEEE Trans. Control Syst. Technol."},{"key":"20_CR2","doi-asserted-by":"publisher","DOI":"10.1002\/9781118776353","volume-title":"Reliability of Safety-Critical Systems","author":"M Rausand","year":"2014","unstructured":"Rausand, M.: Reliability of Safety-Critical Systems. Wiley, New York (2014). https:\/\/doi.org\/10.1002\/9781118776353"},{"key":"20_CR3","unstructured":"IEC 61508:2010 CMV. https:\/\/webstore.iec.ch\/publication\/22273. Accessed 16 Jan 2024"},{"key":"20_CR4","unstructured":"IEC 62551:2012. https:\/\/webstore.iec.ch\/publication\/7191. Accessed 16 Jan 2024"},{"issue":"4","key":"20_CR5","doi-asserted-by":"publisher","first-page":"2405","DOI":"10.1109\/TII.2018.2873186","volume":"15","author":"F Tao","year":"2019","unstructured":"Tao, F., Zhang, H., Liu, A., Nee, A.Y.C.: Digital twin in industry: state-of-the-art. IEEE Trans. Industr. Inf. 15(4), 2405\u20132415 (2019). https:\/\/doi.org\/10.1109\/TII.2018.2873186","journal-title":"IEEE Trans. Industr. Inf."},{"key":"20_CR6","doi-asserted-by":"publisher","first-page":"108952","DOI":"10.1109\/ACCESS.2020.2998358","volume":"8","author":"A Fuller","year":"2020","unstructured":"Fuller, A., Fan, Z., Day, C., Barlow, C.: Digital twin: enabling technologies, challenges and open research. IEEE Access 8, 108952\u2013108971 (2020). https:\/\/doi.org\/10.1109\/ACCESS.2020.2998358","journal-title":"IEEE Access"},{"issue":"1\/2","key":"20_CR7","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1504\/IJPD.2005.006669","volume":"2","author":"MW Grieves","year":"2005","unstructured":"Grieves, M.W.: Product lifecycle management: the new paradigm for enterprises. Int. J. Prod. Dev. 2(1\/2), 71\u201384 (2005). https:\/\/doi.org\/10.1504\/IJPD.2005.006669","journal-title":"Int. J. Prod. Dev."},{"key":"20_CR8","doi-asserted-by":"publisher","unstructured":"Tao, F., Zhang, M., Nee, A.Y.C.: Five-dimension digital twin modeling and its key technologies. Digit. Twin Driven Smart Manuf. 63\u201381 (2019). https:\/\/doi.org\/10.1016\/B978-0-12-817630-6.00003-5","DOI":"10.1016\/B978-0-12-817630-6.00003-5"},{"key":"20_CR9","doi-asserted-by":"publisher","unstructured":"Gomes, L., Barros, J.P.: Refining IOPT Petri nets class for embedded system controller modeling. In: Proceedings of the IECON 2018 - 44th Annual Conference of the IEEE Industrial Electronics Society, pp. 4720\u20134725. IEEE (2018). https:\/\/doi.org\/10.1109\/IECON.2018.8592921","DOI":"10.1109\/IECON.2018.8592921"},{"key":"20_CR10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-05324-9","volume-title":"Petri Nets for Systems Engineering - A Guide to Modeling, Verification, and Applications","author":"C Girault","year":"2002","unstructured":"Girault, C., Valk, R.: Petri Nets for Systems Engineering - A Guide to Modeling, Verification, and Applications. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/978-3-662-05324-9"},{"key":"20_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1007\/978-3-319-91268-4_18","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"K Wolf","year":"2018","unstructured":"Wolf, K.: Petri net model checking with LoLA 2. In: Khomenko, V., Roux, O.H. (eds.) PETRI NETS 2018. LNCS, vol. 10877, pp. 351\u2013362. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-91268-4_18"},{"key":"20_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/978-3-031-06653-5_7","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"F Pereira","year":"2022","unstructured":"Pereira, F., Moutinho, F., Costa, A., Barros, J.P., Campos-Rebelo, R., Gomes, L.: IOPT-tools - from executable models to automatic code generation for embedded controllers development. In: Bernardinello, L., Petrucci, L. (eds.) PETRI NETS 2022. LNCS, vol. 13288, pp. 127\u2013138. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-06653-5_7"},{"key":"20_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/3-540-65306-6_15","volume-title":"Lectures on Petri Nets I: Basic Models","author":"J Desel","year":"1998","unstructured":"Desel, J., Reisig, W.: Place\/transition Petri nets. In: Reisig, W., Rozenberg, G. (eds.) ACPN 1996. LNCS, vol. 1491, pp. 122\u2013173. Springer, Heidelberg (1998). https:\/\/doi.org\/10.1007\/3-540-65306-6_15"},{"key":"20_CR14","series-title":"IFIP Advances in Information and Communication Technology","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/978-3-319-16766-4_18","volume-title":"Technological Innovation for Cloud-Based Engineering Systems","author":"F Pereira","year":"2015","unstructured":"Pereira, F., Gomes, L.: Cloud based IOPT Petri net simulator to test and debug embedded system controllers. In: Camarinha-Matos, L.M., Baldissera, T.A., Di Orio, G., Marques, F. (eds.) DoCEIS 2015. IAICT, vol. 450, pp. 165\u2013175. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-16766-4_18"},{"key":"20_CR15","doi-asserted-by":"publisher","unstructured":"Pereira, F., Moutinho, F., Gomes, L., Ribeiro, J., Campos-Rebelo, R.: An IOPT-net state-space generator tool. In: Proceedings of the INDIN 2011 - 9th IEEE International Conference on Industrial Informatics, pp. 383\u2013389. IEEE (2011). https:\/\/doi.org\/10.1109\/INDIN.2011.6034907","DOI":"10.1109\/INDIN.2011.6034907"},{"key":"20_CR16","unstructured":"Pereira, F., Moutinho, F., Gomes, L.: A syntax-independent code generation tool for IOPT-Petri net. In: Proceedings of the PN4TT 2023 - Algorithms Theories for the Analysis of Event Data and Petri Nets for Twin Transition. CEUR-WS (2023). https:\/\/ceur-ws.org\/Vol-3424\/paper6.pdf"},{"key":"20_CR17","doi-asserted-by":"publisher","unstructured":"Pereira, F., Melo, A., Gomes, L.: Remote operation of embedded controllers designed using IOPT Petri-nets. In: Proceedings of the INDIN 2015 - 13th IEEE International Conference on Industrial Informatics, pp. 572\u2013579. IEEE (2015). https:\/\/doi.org\/10.1109\/INDIN.2015.7281797","DOI":"10.1109\/INDIN.2015.7281797"},{"issue":"11","key":"20_CR18","doi-asserted-by":"publisher","first-page":"1016","DOI":"10.1016\/j.ifacol.2018.08.474","volume":"51","author":"W Kritzinger","year":"2018","unstructured":"Kritzinger, W., Karner, M., Traar, G., Henjes, J., Sihn, W.: Digital twin in manufacturing: a categorical literature review and classification. IFAC-PapersOnLine 51(11), 1016\u20131022 (2018). https:\/\/doi.org\/10.1016\/j.ifacol.2018.08.474","journal-title":"IFAC-PapersOnLine"},{"issue":"2","key":"20_CR19","doi-asserted-by":"publisher","first-page":"36","DOI":"10.3390\/asi4020036","volume":"4","author":"M Singh","year":"2021","unstructured":"Singh, M., Fuenmayor, E., Hinchy, E.P., Qiao, Y., Murray, N., Devine, D.: Digital twin: origin to future. Appl. Syst. Innov. 4(2), 36 (2021). https:\/\/doi.org\/10.3390\/asi4020036","journal-title":"Appl. Syst. Innov."},{"issue":"10","key":"20_CR20","doi-asserted-by":"publisher","first-page":"1785","DOI":"10.1109\/JPROC.2020.2998530","volume":"108","author":"R Minerva","year":"2020","unstructured":"Minerva, R., Lee, G.M., Crespi, N.: Digital twin in the IoT context: a survey on technical features, scenarios, and architectural models. Proc. IEEE 108(10), 1785\u20131824 (2020). https:\/\/doi.org\/10.1109\/JPROC.2020.2998530","journal-title":"Proc. IEEE"},{"issue":"B","key":"20_CR21","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.jmsy.2019.10.001","volume":"58","author":"Q Qi","year":"2021","unstructured":"Qi, Q., et al.: Enabling technologies and tools for digital twin. J. Manuf. Syst. 58(B), 3\u201321 (2021). https:\/\/doi.org\/10.1016\/j.jmsy.2019.10.001","journal-title":"J. Manuf. Syst."},{"key":"20_CR22","doi-asserted-by":"publisher","first-page":"167653","DOI":"10.1109\/ACCESS.2019.2953499","volume":"7","author":"BR Barricelli","year":"2019","unstructured":"Barricelli, B.R., Casiraghi, E., Fogli, D.: A survey on digital twin: definitions, characteristics, applications, and design implications. IEEE Access 7, 167653\u2013167671 (2019). https:\/\/doi.org\/10.1109\/ACCESS.2019.2953499","journal-title":"IEEE Access"},{"issue":"11","key":"20_CR23","doi-asserted-by":"publisher","first-page":"166","DOI":"10.3390\/computers11110166","volume":"11","author":"C Lagartinho-Oliveira","year":"2022","unstructured":"Lagartinho-Oliveira, C., Moutinho, F., Gomes, L.: Digital twin in the provision of power wheelchairs context: support for technical phases and conceptual model. Computers 11(11), 166\u2013180 (2022). https:\/\/doi.org\/10.3390\/computers11110166","journal-title":"Computers"},{"key":"20_CR24","doi-asserted-by":"publisher","unstructured":"Alves, A., Lagartinho-Oliveira, C., Moutinho, F., Gomes, L.: ROS-based digital twin for power wheelchair. In: Proceedings of the ONCON 2022 - 1st Industrial Electronics Society Annual On-Line Conference. IEEE (2022). https:\/\/doi.org\/10.1109\/ONCON56984.2022.10127002","DOI":"10.1109\/ONCON56984.2022.10127002"},{"key":"20_CR25","series-title":"IFIP Advances in Information and Communication Technology","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/978-3-031-36007-7_14","volume-title":"Technological Innovation for Connected Cyber Physical Spaces","author":"C Lagartinho-Oliveira","year":"2023","unstructured":"Lagartinho-Oliveira, C., Moutinho, F., Gomes, L.: Support operation and maintenance of power wheelchairs with digital twins: the IoT and cloud-based data exchange. In: Camarinha-Matos, L.M., Ferrada, F. (eds.) DoCEIS 2023. IFIPAICT, vol. 678, pp. 191\u2013202. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-36007-7_14"},{"key":"20_CR26","unstructured":"Faria, B.M., Ferreira, L., Reis, L.P., Lau, N., Petry, M., Soares, J.C.: Manual control for driving an intelligent wheelchair: a comparative study of joystick mapping methods. In: Proceedings of the IROS 2012 - Workshop on Progress, Challenges and Future Perspectives in Navigation and Manipulation Assistance for Robotic Wheelchairs (2012). https:\/\/paginas.fe.up.pt\/~niadr\/PUBLICATIONS\/LIACC_publications_2011_12\/pdf\/OC59_Manual_Control_Driving_IW_Comparative_Study_Joystick_Mapping_Methods.pdf"},{"key":"20_CR27","unstructured":"Mylinx Resources Hub. https:\/\/www.dynamiccontrols.com\/resource-hub\/mylinx-resources-hub. Accessed 29 Jan 2024"},{"key":"20_CR28","unstructured":"MyPermobil App. https:\/\/permobilwebcdn.azureedge.net\/media\/v5vgqmbp\/mypermobil_brochure_uk_200525_web.pdf. Accessed 29 Jan 2024"},{"key":"20_CR29","unstructured":"Fleet Management. https:\/\/permobilwebcdn.azureedge.net\/media\/tyen1e5w\/fleet-management-brochure.pdf. Accessed 29 Jan 2024"},{"key":"20_CR30","unstructured":"Interactive Assist. https:\/\/www.quantumrehab.com\/quantum-electronics\/interactive-assist.asp. Accessed 29 Jan 2024"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets and Concurrency"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-61433-0_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,12]],"date-time":"2024-06-12T16:05:09Z","timestamp":1718208309000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-61433-0_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031614323","9783031614330"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-61433-0_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"13 June 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"PETRI NETS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Applications and Theory of Petri Nets and Concurrency","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Geneva","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Switzerland","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":"26 June 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 June 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"45","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"apn2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.unige.ch\/petrinets2024\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}