{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T10:54:01Z","timestamp":1761562441879,"version":"3.28.0"},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,9]]},"DOI":"10.1109\/etfa.2018.8502652","type":"proceedings-article","created":{"date-parts":[[2018,11,16]],"date-time":"2018-11-16T03:20:08Z","timestamp":1542338408000},"page":"1145-1148","source":"Crossref","is-referenced-by-count":5,"title":["Diagnosability analysis of bounded Petri nets"],"prefix":"10.1109","author":[{"given":"Ning","family":"Ran","sequence":"first","affiliation":[]},{"given":"Jinyuan","family":"Hao","sequence":"additional","affiliation":[]},{"given":"Zhou","family":"He","sequence":"additional","affiliation":[]},{"given":"Carla","family":"Seatzu","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2017.2742659"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2010.12.010"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2010.06.013"},{"year":"0","key":"ref13"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"1491","DOI":"10.1109\/TAC.2002.802763","article-title":"Polynomial-time verification of diagnos-ability of partially observed discrete-event systems","volume":"47","author":"yoo","year":"2002","journal-title":"Automatic Control IEEE Transactions on"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/9.940942"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2012.2200372"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2005.853503"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2013.2289360"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2010.2046106"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"1555","DOI":"10.1109\/9.412626","volume":"40","author":"sampath","year":"1995","journal-title":"Automatic Control IEEE Transactions on"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1007\/BF01441211","volume":"4","author":"lin","year":"1994","journal-title":"Discrete Event Dynamic Systems"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2012.06.039"}],"event":{"name":"2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA)","start":{"date-parts":[[2018,9,4]]},"location":"Turin","end":{"date-parts":[[2018,9,7]]}},"container-title":["2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8488382\/8502441\/08502652.pdf?arnumber=8502652","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,23]],"date-time":"2020-08-23T23:25:51Z","timestamp":1598225151000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8502652\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/etfa.2018.8502652","relation":{},"subject":[],"published":{"date-parts":[[2018,9]]}}}