{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T14:21:08Z","timestamp":1766067668827,"version":"3.37.3"},"reference-count":19,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,10,17]],"date-time":"2022-10-17T00:00:00Z","timestamp":1665964800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,10,17]],"date-time":"2022-10-17T00:00:00Z","timestamp":1665964800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100004442","name":"National Science Centre, Poland","doi-asserted-by":"publisher","award":["2019\/35\/B\/ST6\/01683"],"award-info":[{"award-number":["2019\/35\/B\/ST6\/01683"]}],"id":[{"id":"10.13039\/501100004442","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,10,17]]},"DOI":"10.1109\/icelie55228.2022.9969438","type":"proceedings-article","created":{"date-parts":[[2022,12,8]],"date-time":"2022-12-08T18:41:33Z","timestamp":1670524893000},"page":"1-6","source":"Crossref","is-referenced-by-count":2,"title":["Integrating different modelling formalisms supporting co-design development of controllers for cyber-physical systems \u2014 A case study"],"prefix":"10.1109","author":[{"given":"Grzegorz","family":"Bazydlo","sequence":"first","affiliation":[{"name":"Institute of Control and Computation Engineering, University of Zielona Góra,Zielona Góra,Poland"}]},{"given":"Aniko","family":"Costa","sequence":"additional","affiliation":[{"name":"NOVA University Lisbon,Center of Technology and Systems-UNINOVA,Caparica,Portugal"}]},{"given":"Luis","family":"Gomes","sequence":"additional","affiliation":[{"name":"NOVA University Lisbon,Center of Technology and Systems-UNINOVA,Caparica,Portugal"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008271916548"},{"journal-title":"Introduction to Embedded Systems A Cyber-physical Systems Approach","year":"2016","author":"lee","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-06653-5_7"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICMC.2014.7232002"},{"journal-title":"Kommunikation mit Automaten (Communication with Au-tomata)","year":"1962","author":"petri","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69968-9"},{"journal-title":"David Discrete Continuous and Hybrid Petri Nets","year":"2010","author":"rene","key":"ref17"},{"journal-title":"Las Redes de Petri en la Automatica y la Informatica","year":"1985","author":"silva","key":"ref18"},{"key":"ref19","first-page":"377","article-title":"Etude comparative de deux outils de representation: Grafcet et reseau de petri","volume":"3","author":"valette","year":"1978","journal-title":"Le Nouvel Automatisme"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2007.4384809"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45541-8_1"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/IECON.2018.8592921"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-60029-9_42"},{"key":"ref8","first-page":"1099","article-title":"Extending Input-Output Place-Transition Petri nets for distributed con-troller systems development","author":"gomes","year":"0","journal-title":"ICMC 2014 - International Conference on Mechatronics and Control"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/FPL.2013.6645633"},{"key":"ref2","article-title":"Petri Nets & Grafcet; Tools for Modelling Discrete Event Systems","author":"david","year":"1992","journal-title":"Prentice Hall International (UK) Ltd"},{"year":"0","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.3233\/FI-2000-41403"}],"event":{"name":"2022 IEEE 9th International Conference on e-Learning in Industrial Electronics (ICELIE)","start":{"date-parts":[[2022,10,17]]},"location":"Brussel, Belgium","end":{"date-parts":[[2022,10,20]]}},"container-title":["2022 IEEE 9th International Conference on e-Learning in Industrial Electronics (ICELIE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9969414\/9969415\/09969438.pdf?arnumber=9969438","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,26]],"date-time":"2022-12-26T19:42:21Z","timestamp":1672083741000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9969438\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,17]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/icelie55228.2022.9969438","relation":{},"subject":[],"published":{"date-parts":[[2022,10,17]]}}}