{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,5]],"date-time":"2025-05-05T00:28:33Z","timestamp":1746404913708},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/acc.2003.1238960","type":"proceedings-article","created":{"date-parts":[[2004,1,23]],"date-time":"2004-01-23T23:33:03Z","timestamp":1074900783000},"page":"320-325","source":"Crossref","is-referenced-by-count":2,"title":["Deadlock characterization for Petri nets control using GMEC's and observers"],"prefix":"10.1109","volume":"1","author":[{"given":"A.","family":"Giua","sequence":"first","affiliation":[]},{"given":"C.","family":"Seatzu","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/9.956052"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"2871","DOI":"10.1109\/ROBOT.2000.846463","article-title":"Observer design for discrete event systems modeled by intrerpreted Petri nets","author":"ram\u00edrez-trevi\u00f1o","year":"2000","journal-title":"2000 IEEE Int Conf Robotics and Automation"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/9.471222"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(95)00103-4"},{"key":"ref15","first-page":"146","article-title":"Forbidden state avoidance in controlled Petri nets under partial observation","author":"zhang","year":"1995","journal-title":"Proc 33rd Allerton Conf"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-6955-4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/70.650158"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1992.271666"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/70.370500"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2002.802769"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1997.652507"},{"key":"ref2","first-page":"441","article-title":"Dead-lock recovery of controlled Petri net models using observers","author":"basile","year":"2001","journal-title":"8th IEEE International Conference on Emerging Technologies and Factory Automation"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1997.633253"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/9.280750"}],"event":{"name":"2003 American Control Conference","acronym":"ACC-03","location":"Denver, CO, USA"},"container-title":["Proceedings of the 2003 American Control Conference, 2003."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8775\/27789\/01238960.pdf?arnumber=1238960","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,15]],"date-time":"2017-06-15T23:18:45Z","timestamp":1497568725000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1238960\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/acc.2003.1238960","relation":{},"subject":[]}}