{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T03:15:25Z","timestamp":1729653325601,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,7]]},"DOI":"10.1109\/acc.2007.4282277","type":"proceedings-article","created":{"date-parts":[[2007,8,8]],"date-time":"2007-08-08T12:01:54Z","timestamp":1186574514000},"page":"4945-4950","source":"Crossref","is-referenced-by-count":5,"title":["Fault-Tolerant Supervisory Control of Discrete Event Systems Modeled by Bounded Petri Nets"],"prefix":"10.1109","author":[{"given":"Yu","family":"Ru","sequence":"first","affiliation":[]},{"given":"Christoforos N.","family":"Hadjicostis","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1992.271666"},{"key":"ref11","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":"Application and Theory of Petri Nets 1999 (Series Lecture Notes in Computer Science)"},{"key":"ref12","first-page":"5248","article-title":"Fault detection and identification in Petri net controllers","author":"li","year":"2004","journal-title":"43rd IEEE Conf On Decision and Control"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"2048","DOI":"10.1109\/TAC.2005.860249","article-title":"Algebraic approaches for fault identification in discrete-event systems","volume":"50","author":"wu","year":"2005","journal-title":"IEEE Trans Automat Contr"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-10001-6_39"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-1537-1"},{"key":"ref17","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1023\/A:1008271916548","article-title":"A survey of Petri net methods for controlled discrete event systems","volume":"7","author":"holloway","year":"1997","journal-title":"Discrete Event Dynamic Systems Theory and Applications"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"4493","DOI":"10.23919\/ACC.2004.1384018","article-title":"Supervisor synthesis for bounded Petri nets based on a transformation function","author":"ru","year":"2004","journal-title":"Proc of 2004 American Control Conference"},{"key":"ref19","first-page":"245","article-title":"Decidability issues for Petri nets - a survey","volume":"52","author":"esparza","year":"1994","journal-title":"Bulletin of the EATCS"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1109\/TRA.2002.807555","article-title":"Design of a live and maximally permissive Petri net controller using the theory of regions","volume":"19","author":"ghaffari","year":"2003","journal-title":"IEEE Trans Robot Automat"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/9.53517"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/9.506233"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/9.467679"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008349927281"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-5711-1"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1137\/0325066"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-4070-7"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1023\/A:1013331703036"},{"journal-title":"The C Programming Language","year":"1988","author":"kernighan","key":"ref20"}],"event":{"name":"2007 American Control Conference","start":{"date-parts":[[2007,7,9]]},"location":"New York, NY, USA","end":{"date-parts":[[2007,7,13]]}},"container-title":["2007 American Control Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4282134\/4282135\/04282277.pdf?arnumber=4282277","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T17:02:03Z","timestamp":1556730123000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4282277\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,7]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/acc.2007.4282277","relation":{},"ISSN":["0743-1619"],"issn-type":[{"type":"print","value":"0743-1619"}],"subject":[],"published":{"date-parts":[[2007,7]]}}}