{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T13:41:43Z","timestamp":1730209303461,"version":"3.28.0"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,8]]},"DOI":"10.1109\/coase.2013.6653897","type":"proceedings-article","created":{"date-parts":[[2013,11,11]],"date-time":"2013-11-11T22:22:15Z","timestamp":1384208535000},"page":"1133-1138","source":"Crossref","is-referenced-by-count":0,"title":["A control policy for &amp;#x03B3;-nets without reachability analysis and siphon enumeration"],"prefix":"10.1109","author":[{"given":"Wenhui","family":"Wu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel Yuh","family":"Chao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fang","family":"Yu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"19","DOI":"10.1109\/TSMCA.2008.2003535"},{"doi-asserted-by":"publisher","key":"22","DOI":"10.1080\/00207540500431321"},{"year":"0","author":"liu","journal-title":"Maximal Permissiveness for Deadlock Prevention Using An Invariant Controlled Method","key":"17"},{"doi-asserted-by":"publisher","key":"23","DOI":"10.1007\/s00170-006-0701-5"},{"doi-asserted-by":"publisher","key":"18","DOI":"10.1109\/TSMCA.2009.2013189"},{"doi-asserted-by":"publisher","key":"24","DOI":"10.1016\/0005-1098(95)00103-4"},{"doi-asserted-by":"publisher","key":"15","DOI":"10.1109\/TSMCA.2007.909548"},{"year":"2009","author":"li","journal-title":"Deadlock Resolution in Automated Manufacturing Systems A Novel Petri Net Approach","key":"16"},{"doi-asserted-by":"publisher","key":"13","DOI":"10.1109\/TSMCA.2007.914741"},{"doi-asserted-by":"publisher","key":"14","DOI":"10.1109\/TASE.2006.884674"},{"key":"11","first-page":"173","article-title":"A deadlock avoidance approach for non-sequential resource allocation systems","volume":"11","author":"ezpeleta","year":"1995","journal-title":"IEEE Transactions on Systems Man and Cybernetics Part A Systems and Humans"},{"doi-asserted-by":"publisher","key":"12","DOI":"10.1049\/iet-cta:20060218"},{"doi-asserted-by":"publisher","key":"21","DOI":"10.1007\/s00170-002-1526-5"},{"doi-asserted-by":"publisher","key":"3","DOI":"10.1093\/comjnl\/bxl019"},{"doi-asserted-by":"publisher","key":"20","DOI":"10.1093\/comjnl\/bxp081"},{"key":"2","first-page":"203","article-title":"An incremental approach to extract minimal bad siphons","volume":"23","author":"chao","year":"2007","journal-title":"Journal of Information Science and Engineering"},{"doi-asserted-by":"publisher","key":"1","DOI":"10.1109\/TASE.2010.2088120"},{"key":"10","article-title":"Behavior optimal and structural simple liveness-enforcing supervisor for flexible manufacturing systems","author":"chen","year":"2011","journal-title":"IEEE Transactions on Systems Man and Cybernetics Part A"},{"doi-asserted-by":"publisher","key":"7","DOI":"10.1049\/iet-cta.2010.0113"},{"doi-asserted-by":"publisher","key":"6","DOI":"10.1049\/iet-cta.2010.0186"},{"doi-asserted-by":"publisher","key":"5","DOI":"10.1002\/asjc.292"},{"doi-asserted-by":"publisher","key":"4","DOI":"10.1007\/s00170-008-1473-x"},{"doi-asserted-by":"publisher","key":"9","DOI":"10.1109\/TASE.2010.2060332"},{"doi-asserted-by":"publisher","key":"8","DOI":"10.1016\/j.automatica.2011.01.070"}],"event":{"name":"2013 IEEE International Conference on Automation Science and Engineering (CASE 2013)","start":{"date-parts":[[2013,8,17]]},"location":"Madison, WI, USA","end":{"date-parts":[[2013,8,20]]}},"container-title":["2013 IEEE International Conference on Automation Science and Engineering (CASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6639384\/6653883\/06653897.pdf?arnumber=6653897","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,23]],"date-time":"2017-03-23T02:07:09Z","timestamp":1490234829000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6653897\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,8]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/coase.2013.6653897","relation":{},"subject":[],"published":{"date-parts":[[2013,8]]}}}