{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T15:29:48Z","timestamp":1729610988135,"version":"3.28.0"},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,4]]},"DOI":"10.1109\/icnsc.2010.5461506","type":"proceedings-article","created":{"date-parts":[[2010,5,12]],"date-time":"2010-05-12T20:40:24Z","timestamp":1273696824000},"page":"189-194","source":"Crossref","is-referenced-by-count":1,"title":["Fault-tolerant controller design using Petri nets with minimum initial state specifications"],"prefix":"10.1109","author":[{"given":"Yizhi","family":"Qu","sequence":"first","affiliation":[]},{"given":"Lingxi","family":"Li","sequence":"additional","affiliation":[]},{"given":"Yaobin","family":"Chen","sequence":"additional","affiliation":[]},{"given":"Yaping","family":"Dai","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1987.1676864"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1981.1675762"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"188","DOI":"10.1007\/3-540-48745-X_12","article-title":"Monitoring discrete event systems using Petri net embeddings","volume":"1639","author":"hadjicostis","year":"1999","journal-title":"Proceedings of Application and Theory of Petri Nets 1999 (Series Lecture Notes in Computer Science"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2004.841887"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-4070-7"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(95)00103-4"},{"key":"ref8","first-page":"5248","article-title":"Fault detection and identification in Petri net controllers","author":"li","year":"2004","journal-title":"Proc of 43rd IEEE Conf Decision and Control"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.860249"},{"key":"ref2","doi-asserted-by":"crossref","DOI":"10.1201\/9781439863961","author":"siewiorek","year":"1998","journal-title":"Reliable Computer Systems Design and Evaluation"},{"journal-title":"Design and Analysis of Fault-Tolerant Digital Systems","year":"1989","author":"johnson","key":"ref1"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1109\/TSMCA.2007.909559","article-title":"Designs of bisimilar Petri net controllers with fault tolerance capabilities","volume":"38","author":"li","year":"2008","journal-title":"IEEE Trans Systems Man and Cybernetics Part A"}],"event":{"name":"2010 International Conference on Networking, Sensing and Control (ICNSC)","start":{"date-parts":[[2010,4,10]]},"location":"Chicago, IL, USA","end":{"date-parts":[[2010,4,12]]}},"container-title":["2010 International Conference on Networking, Sensing and Control (ICNSC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5456078\/5461482\/05461506.pdf?arnumber=5461506","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T04:06:14Z","timestamp":1559102774000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5461506\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,4]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/icnsc.2010.5461506","relation":{},"subject":[],"published":{"date-parts":[[2010,4]]}}}