{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T02:39:59Z","timestamp":1729651199723,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,12]]},"DOI":"10.1109\/cdc.2016.7798866","type":"proceedings-article","created":{"date-parts":[[2017,1,5]],"date-time":"2017-01-05T12:11:18Z","timestamp":1483618278000},"page":"3948-3953","source":"Crossref","is-referenced-by-count":1,"title":["Codiagnosability verification of bounded Petri nets using basis markings"],"prefix":"10.1109","author":[{"given":"Ning","family":"Ran","sequence":"first","affiliation":[]},{"given":"Hongye","family":"Su","sequence":"additional","affiliation":[]},{"given":"Alessandro","family":"Giua","sequence":"additional","affiliation":[]},{"given":"Carla","family":"Seatzu","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008335115538"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2006.879916"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2005.853503"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-006-0006-8"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.3182\/20110828-6-IT-1002.02807"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2124950"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2009.5160208"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2010.12.010"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1137\/0201010"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2002.802763"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/9.940942"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2010.2046106"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2012.2200372"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICNSC.2005.1461218"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2013.2289360"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/9.412626"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01441211"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"2542","DOI":"10.1109\/ICSMC.2005.1571531","article-title":"A polynomial algorithm for checking diagnosability of Petri nets","volume":"3","author":"wen","year":"2005","journal-title":"Systems Man and Cybernetics 2005 IEEE International Conference on"}],"event":{"name":"2016 IEEE 55th Conference on Decision and Control (CDC)","start":{"date-parts":[[2016,12,12]]},"location":"Las Vegas, NV, USA","end":{"date-parts":[[2016,12,14]]}},"container-title":["2016 IEEE 55th Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7786694\/7798233\/07798866.pdf?arnumber=7798866","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,25]],"date-time":"2017-06-25T03:21:10Z","timestamp":1498360870000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7798866\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/cdc.2016.7798866","relation":{},"subject":[],"published":{"date-parts":[[2016,12]]}}}