{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T09:42:48Z","timestamp":1730281368178,"version":"3.28.0"},"reference-count":16,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,6,22]],"date-time":"2021-06-22T00:00:00Z","timestamp":1624320000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,6,22]],"date-time":"2021-06-22T00:00:00Z","timestamp":1624320000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,6,22]]},"DOI":"10.1109\/med51440.2021.9480296","type":"proceedings-article","created":{"date-parts":[[2021,8,24]],"date-time":"2021-08-24T20:46:53Z","timestamp":1629838013000},"page":"1317-1323","source":"Crossref","is-referenced-by-count":3,"title":["A model-based approach to the validation of automation systems"],"prefix":"10.1109","author":[{"given":"Francesco","family":"Basile","sequence":"first","affiliation":[{"name":"Università di Salerno,DIEM,Fisciano,Italy,84084"}]},{"given":"Luigi","family":"Ferrara","sequence":"additional","affiliation":[{"name":"Università di Salerno,DIEM,Fisciano,Italy,84084"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2006.872120"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2019.2944299"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/SMC.2019.8914396"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref14","article-title":"Control of Discrete-Event Systems. Automata and Petri Net Perspectives","volume":"433","author":"seatzu","year":"2012","journal-title":"Lecture Notes in Control and Information Science"},{"key":"ref15","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/11562948_23","article-title":"Comparison of Different Semantics for Time Petri Nets","author":"b\u00e9rard","year":"2005","journal-title":"Automated Technology for Verification and Analysis"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2363916"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2017.08.013"},{"key":"ref3","article-title":"From supervisory control to PLC code: a way to speed-up Constructive\/Virtual Commissioning of Manufacturing Systems","author":"basile","year":"2020","journal-title":"IFAC Workshop on Discrete Event Systems (WODES’20)"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-70848-5_6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806850"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2019.2912919"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2017.03.001"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2008.2005785"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809163"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1998.725502"}],"event":{"name":"2021 29th Mediterranean Conference on Control and Automation (MED)","start":{"date-parts":[[2021,6,22]]},"location":"PUGLIA, Italy","end":{"date-parts":[[2021,6,25]]}},"container-title":["2021 29th Mediterranean Conference on Control and Automation (MED)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9480136\/9480160\/09480296.pdf?arnumber=9480296","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,2]],"date-time":"2022-08-02T23:56:51Z","timestamp":1659484611000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9480296\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6,22]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/med51440.2021.9480296","relation":{},"subject":[],"published":{"date-parts":[[2021,6,22]]}}}