{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T01:19:01Z","timestamp":1740100741708,"version":"3.37.3"},"reference-count":26,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,5,17]],"date-time":"2022-05-17T00:00:00Z","timestamp":1652745600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,5,17]],"date-time":"2022-05-17T00:00:00Z","timestamp":1652745600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100006469","name":"FDCT","doi-asserted-by":"publisher","award":["0064\/2021\/A2"],"award-info":[{"award-number":["0064\/2021\/A2"]}],"id":[{"id":"10.13039\/501100006469","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,5,17]]},"DOI":"10.1109\/codit55151.2022.9804165","type":"proceedings-article","created":{"date-parts":[[2022,6,30]],"date-time":"2022-06-30T19:42:22Z","timestamp":1656618142000},"page":"1279-1284","source":"Crossref","is-referenced-by-count":1,"title":["Diagnosability Enforcement in Labeled Petri Nets Based on Digital Twins"],"prefix":"10.1109","author":[{"given":"Shaopeng","family":"Hu","sequence":"first","affiliation":[{"name":"School of Electro-Mechanical Engineering, Xidian University,Xi'an,China,710071"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jiafeng","family":"Zhang","sequence":"additional","affiliation":[{"name":"School of Electro-Mechanical Engineering, Xidian University,Xi'an,China,710071"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhiwu","family":"Li","sequence":"additional","affiliation":[{"name":"School of Electro-Mechanical Engineering, Xidian University,Xi'an,China,710071"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/9.412626"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2018.06.039"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2017.2762823"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2021.109776"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2020.2970011"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2020.109359"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2013.04.041"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2018.2874020"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2012.2200372"},{"key":"ref19","article-title":"Modeling, simulation, information technology and processing roadmap","author":"shafto","year":"2010","journal-title":"National Aeronautics and Space Administration Washington DC USA"},{"journal-title":"Deadlock Resolution in Automated Anufacturing Systems A Novel Petri Net Approach","year":"2009","author":"li","key":"ref4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2010.06.013"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2017.2742659"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"1491","DOI":"10.1109\/TAC.2002.802763","article-title":"Polynomial-time verification of diag-nosability of partially observed discrete-event systems","volume":"47","author":"yoo","year":"2002","journal-title":"IEEE Trans-actions on Automatic Control"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2013.2289360"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2006.879916"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2382991"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2012.2203596"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2018.2793662"},{"key":"ref20","article-title":"Digital twin: manufacturing excellence through virtual factory replication","author":"grieves","year":"2014","journal-title":"Dassault Systemes Paris France"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2957202"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2018.2890566"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2019.2938885"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/JSEN.2020.3029459"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/MED48518.2020.9182784"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/AIEA51086.2020.00067"}],"event":{"name":"2022 8th International Conference on Control, Decision and Information Technologies (CoDIT)","start":{"date-parts":[[2022,5,17]]},"location":"Istanbul, Turkey","end":{"date-parts":[[2022,5,20]]}},"container-title":["2022 8th International Conference on Control, Decision and Information Technologies (CoDIT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9803856\/9803880\/09804165.pdf?arnumber=9804165","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,25]],"date-time":"2022-07-25T20:21:17Z","timestamp":1658780477000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9804165\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,5,17]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/codit55151.2022.9804165","relation":{},"subject":[],"published":{"date-parts":[[2022,5,17]]}}}