{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T16:44:34Z","timestamp":1762101874627,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,5]]},"DOI":"10.1109\/wodes.2016.7497892","type":"proceedings-article","created":{"date-parts":[[2016,6,25]],"date-time":"2016-06-25T07:36:10Z","timestamp":1466840170000},"page":"486-492","source":"Crossref","is-referenced-by-count":3,"title":["Faulty model identification in deterministic labeled Time Petri nets"],"prefix":"10.1109","author":[{"given":"Francesco","family":"Basile","sequence":"first","affiliation":[]},{"given":"Pasquale","family":"Chiacchio","sequence":"additional","affiliation":[]},{"given":"Jolanda","family":"Coppola","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICCA.2011.6137968"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1080\/00207721.2012.724098"},{"key":"ref12","first-page":"1","article-title":"Fault model identification and synthesis in Petri nets","author":"cabasino","year":"2014","journal-title":"Discrete Event Dynamic Systems"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/DCDS.2011.5970334"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2363916"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2012.2215323"},{"article-title":"A study of the recoverability of computing systems","year":"1974","author":"merlin","key":"ref16"},{"journal-title":"Petri Net Theory and the Modeling of Systems","year":"1981","author":"peterson","key":"ref17"},{"journal-title":"Modeling and Control of Discrete Event Dynamic Systems With Petri Nets and Other Tools","year":"2007","author":"hr\u00faz","key":"ref18"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/12.707587"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-55676-1_14"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2007.10.014"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44988-4_2"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2003.1271737"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2013.6648050"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-007-0025-0"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/CoASE.2015.7294076"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2011.2173798"},{"key":"ref20","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-4276-8","volume":"433","author":"seatzu","year":"2013","journal-title":"Control of Discrete-Event Systems Ser Lecture Notes in Control and Information Sciences"}],"event":{"name":"2016 13th International Workshop on Discrete Event Systems (WODES)","start":{"date-parts":[[2016,5,30]]},"location":"Xi'an, China","end":{"date-parts":[[2016,6,1]]}},"container-title":["2016 13th International Workshop on Discrete Event Systems (WODES)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7493813\/7497815\/07497892.pdf?arnumber=7497892","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T13:06:23Z","timestamp":1498309583000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7497892\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,5]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/wodes.2016.7497892","relation":{},"subject":[],"published":{"date-parts":[[2016,5]]}}}