{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T04:53:18Z","timestamp":1749099198608,"version":"3.40.3"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031093845"},{"type":"electronic","value":"9783031093852"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-09385-2_7","type":"book-chapter","created":{"date-parts":[[2022,6,20]],"date-time":"2022-06-20T12:10:24Z","timestamp":1655727024000},"page":"72-85","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Simulation of Cyber-Physical Intelligent Mechatronic Component Behavior Using Timed Automata Approach"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8991-6768","authenticated-orcid":false,"given":"Adriano A.","family":"Santos","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2067-7601","authenticated-orcid":false,"given":"Ant\u00f3nio Ferreira","family":"da Silva","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7809-5554","authenticated-orcid":false,"given":"Filipe","family":"Pereira","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,6,21]]},"reference":[{"key":"7_CR1","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1016\/j.promfg.2021.10.011","volume":"55","author":"A Adriano","year":"2021","unstructured":"Adriano, A.: Santos, Ant\u00f3nio Ferreira da Silva: simulation and control of a cyber-physical system under IEC 61499 standard. Procedia Manuf. 55, 72\u201379 (2021). https:\/\/doi.org\/10.1016\/j.promfg.2021.10.011","journal-title":"Procedia Manuf."},{"key":"7_CR2","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1016\/j.mechatronics.2017.10.009","volume":"54","author":"N Canadas","year":"2018","unstructured":"Canadas, N., Machado, J., Soares, F., Barros, C., Varela, L.: Simulation of cyber physical systems behaviour using timed plant models. Mechatronics 54, 175\u2013185 (2018). https:\/\/doi.org\/10.1016\/j.mechatronics.2017.10.009","journal-title":"Mechatronics"},{"key":"7_CR3","doi-asserted-by":"publisher","unstructured":"Kunz, G., Machado, J., Perondi, E., Vyatkin, V.: A formal methodology for accomplishing IEC 61850 real-time communication requirements. IEEE Trans. Ind. Electr. 64(8), 6582\u20136590 (2017). https:\/\/doi.org\/10.1109\/TIE.2017.2682042","DOI":"10.1109\/TIE.2017.2682042"},{"key":"7_CR4","doi-asserted-by":"publisher","unstructured":"Lampropoulos, G., Siakas, K., Anastasiadis, T.: Internet of things in the context of industry 4.0: an overview. Int. J. Entrepr. Knowl. 7(1), pp. 4\u201319 (2019). https:\/\/doi.org\/10.37335\/ijek.v7i1.84","DOI":"10.37335\/ijek.v7i1.84"},{"issue":"4","key":"7_CR5","doi-asserted-by":"publisher","first-page":"663","DOI":"10.5937\/fmet1904663P","volume":"47","author":"GD Putnik","year":"2019","unstructured":"Putnik, G.D., Ferreira, L., Lopes, N., Putnik, Z.: What is a cyber-physical system: definitions and models spectrum. FME Trans. 47(4), 663\u2013674 (2019). https:\/\/doi.org\/10.5937\/fmet1904663P","journal-title":"FME Trans."},{"key":"7_CR6","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1016\/j.procs.2021.12.027","volume":"196","author":"H Castro","year":"2022","unstructured":"Castro, H., et al.: Cyber-physical systems using open design: an approach towards an open science lab for manufacturing. Procedia Comput. Sci. 196, 381\u2013388 (2022). https:\/\/doi.org\/10.1016\/j.procs.2021.12.027","journal-title":"Procedia Comput. Sci."},{"issue":"2","key":"7_CR7","doi-asserted-by":"publisher","first-page":"233","DOI":"10.3390\/electronics11020233","volume":"11","author":"T Samala","year":"2022","unstructured":"Samala, T., Manupati, V.K., Machado, J., Khandelwal, S., Antosz, K.: A systematic simulation-based multi-criteria decision-making approach for the evaluation of semi-fully flexible machine system process parameters. Electronics 11(2), 233 (2022). https:\/\/doi.org\/10.3390\/electronics11020233","journal-title":"Electronics"},{"key":"7_CR8","unstructured":"Ebel, F., Pany, M.: FESTO Distributing Station Manual. Denkendorf, April 2006"},{"key":"7_CR9","doi-asserted-by":"publisher","unstructured":"Vyatkin, V.: Intelligent mechatronic components: control system engineering using an open distributed architecture. In: Proceedings of the EFTA 2003-IEEE Conference on Emerging Technologies and Factory Automation. (Cat. No. 03TH8696), vol. 2, pp. 277\u2013284 (2003). https:\/\/doi.org\/10.1109\/ETFA.2003.1248711","DOI":"10.1109\/ETFA.2003.1248711"},{"issue":"2","key":"7_CR10","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theoret. Comput. Sci. 126(2), 183\u2013235 (1994). https:\/\/doi.org\/10.1016\/0304-3975(94)90010-8","journal-title":"Theoret. Comput. Sci."},{"key":"7_CR11","unstructured":"Behrmann, G., David, A., Larsen, K.G.: A tutorial on Uppaal 4.0. https:\/\/www.it.uu.se\/research\/group\/darts\/papers\/texts\/new-tutorial.pdf. Accessed 2 Jan 2022"},{"key":"7_CR12","doi-asserted-by":"publisher","unstructured":"Campos, J.C., Machado, J.: Pattern-based analysis of automated production systems. IFAC Proc. Vol. (IFAC-PapersOnline) 42(4), 972\u2013977 (2009). https:\/\/doi.org\/10.3182\/20090603-3-RU-2001.0425","DOI":"10.3182\/20090603-3-RU-2001.0425"},{"key":"7_CR13","doi-asserted-by":"publisher","first-page":"687","DOI":"10.1007\/s00170-011-3817-1","volume":"62","author":"M Uzam","year":"2012","unstructured":"Uzam, M.: A general technique for the PLC-based implementation of RW supervisors with time delay functions. Int. J. Adv. Manuf. Technol. 62, 687\u2013704 (2012). https:\/\/doi.org\/10.1007\/s00170-011-3817-1","journal-title":"Int. J. Adv. Manuf. Technol."},{"key":"7_CR14","unstructured":"International Standard IEC 61131-3, Programmable Controllers \u2013 part 3: Programming languages, IEC (2013)"},{"key":"7_CR15","unstructured":"SIMATIC, S7-1200 Programmable controller \u2013 System Manual, V4.4 11\/2019, A5E02486680-AM (2019). https:\/\/support.industry.siemens.com\/cs\/attachments\/109772940\/s71200_system_manual_en-US_en-US.pdf?download=true. Accessed 19 Jan 2022"}],"container-title":["Lecture Notes in Mechanical Engineering","Innovations in Mechatronics Engineering II"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-09385-2_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,20]],"date-time":"2022-06-20T12:17:01Z","timestamp":1655727421000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-09385-2_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031093845","9783031093852"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-09385-2_7","relation":{},"ISSN":["2195-4356","2195-4364"],"issn-type":[{"type":"print","value":"2195-4356"},{"type":"electronic","value":"2195-4364"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"21 June 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"icieng","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference Innovation in Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Minho","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Portugal","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 June 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 June 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icieng2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/icieng.eu\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}