{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T01:09:38Z","timestamp":1729645778721,"version":"3.28.0"},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1109\/icsmc.2007.4413899","type":"proceedings-article","created":{"date-parts":[[2008,7,18]],"date-time":"2008-07-18T17:19:35Z","timestamp":1216401575000},"page":"1357-1362","source":"Crossref","is-referenced-by-count":0,"title":["Diagnosable discrete event systems design"],"prefix":"10.1109","author":[{"family":"YuanLin Wen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"PeiShu Fan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"MuDer Jeng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/9.412626"},{"key":"2","first-page":"13","article-title":"Introduction to Metal-Organic Vapor Phase Epitaxy System and Technology","volume":"24","author":"lin","year":"2002","journal-title":"Instruments Today"},{"key":"10","article-title":"A Polynomial Algorithm for Checking Diagnosability of Petri Nets","author":"wen","year":"2005","journal-title":"Proceedings of 2005 IEEE International Conference on Systems"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/9.940942"},{"key":"7","first-page":"301","article-title":"A simple and fast algorithm to obtain all invariants of a generalized Petri nets","volume":"52","author":"martinez","year":"1982","journal-title":"Proc of Second European Workshop on Application and Theory of Petri Nets Informatik-Fachberichte"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1998.725394"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/11893004_112"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.4028\/0-87849-990-3.1135"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2006.384775"},{"key":"8","doi-asserted-by":"crossref","first-page":"158","DOI":"10.1080\/0951192052000288206","article-title":"Diagnosing PN-based models with partial observable transitions","volume":"18","author":"chung","year":"2005","journal-title":"Int J Computer integrated manufacturing"}],"event":{"name":"2007 IEEE International Conference on Systems, Man and Cybernetics","start":{"date-parts":[[2007,10,7]]},"location":"Montreal, QC, Canada","end":{"date-parts":[[2007,10,10]]}},"container-title":["2007 IEEE International Conference on Systems, Man and Cybernetics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4413560\/4413561\/04413899.pdf?arnumber=4413899","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T10:05:25Z","timestamp":1497780325000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4413899\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/icsmc.2007.4413899","relation":{},"subject":[],"published":{"date-parts":[[2007]]}}}