{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T15:58:01Z","timestamp":1729612681400,"version":"3.28.0"},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,8]]},"DOI":"10.1109\/coase.2010.5584207","type":"proceedings-article","created":{"date-parts":[[2010,9,29]],"date-time":"2010-09-29T18:03:24Z","timestamp":1285783404000},"source":"Crossref","is-referenced-by-count":0,"title":["Deadlock-free control of ratio-enforced automated manufacturing systems with flexible routes and assembly operations"],"prefix":"10.1109","author":[{"family":"Hesuan Hu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Mengchu Zhou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Zhiwu Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Naiqi Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-007-1366-4"},{"key":"ref11","first-page":"263","article-title":"An efficient polynomial-time algorithm to decide liveness and boundedness of free-choice nets","volume":"616","author":"kemper","year":"1992","journal-title":"Proc Int Conf Appl Theory Petri Nets"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1109\/TSMCA.2007.914741","article-title":"On controllability of dependent siphons for deadlock prevention in generalized Petri nets","volume":"38","author":"li","year":"2008","journal-title":"IEEE Trans Syst Man Cyber A"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1995.538255"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2006.872106"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/70.781975"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2003.1244684"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2006.878963"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/70.370500"},{"key":"ref6","article-title":"Ratio and supervisory control for automated manufacturing systems using Petri nets","author":"hu","year":"0","journal-title":"IEEE Trans Syst Man Cyber A"},{"journal-title":"Modeling and Control of Discrete Event Dynamic Systems","year":"2007","author":"hruz","key":"ref5"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"1457","DOI":"10.1109\/TMM.2009.2032678","article-title":"Liveness enforcing supervision of video streaming systems using nonsequential Petri nets","volume":"11","author":"hu","year":"2009","journal-title":"IEEE Trans Multimedia"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"557","DOI":"10.1109\/TASE.2009.2021349","article-title":"Clarification on the computation of liveness-enforcing supervisor for resource allocation systems with uncontrollable behavior and forbidden states","volume":"6","author":"hu","year":"2009","journal-title":"IEEE Trans Autom Sci Eng"},{"key":"ref2","article-title":"Deadlock analysis of Petri nets using siphons and mathematical programming","volume":"13","author":"chu","year":"1997","journal-title":"IEEE Trans Robot Autom"},{"key":"ref1","first-page":"57","article-title":"On liveness and controlled siphons in Petri nets","volume":"1091","author":"barkaoui","year":"1996","journal-title":"Proc Int Conf Appl Theory Petri Nets"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-007-1110-0"}],"event":{"name":"2010 IEEE International Conference on Automation Science and Engineering (CASE 2010)","start":{"date-parts":[[2010,8,21]]},"location":"Toronto, ON","end":{"date-parts":[[2010,8,24]]}},"container-title":["2010 IEEE International Conference on Automation Science and Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5570123\/5583939\/05584207.pdf?arnumber=5584207","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T14:36:01Z","timestamp":1497882961000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5584207\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,8]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/coase.2010.5584207","relation":{},"subject":[],"published":{"date-parts":[[2010,8]]}}}