{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T07:04:30Z","timestamp":1729667070165,"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.5584286","type":"proceedings-article","created":{"date-parts":[[2010,9,29]],"date-time":"2010-09-29T14:03:24Z","timestamp":1285769004000},"source":"Crossref","is-referenced-by-count":8,"title":["A practical approach to the design of maximally permissive liveness-enforcing supervisors for complex resource allocation systems"],"prefix":"10.1109","author":[{"given":"Ahmed","family":"Nazeem","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Spyros","family":"Reveliotis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/356603.356607"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1109\/TSMCC.2007.913920","article-title":"A survey and comparison of Petri net-based deadlock prevention policies for flexible manufacturing systems","volume":"38","author":"li","year":"2008","journal-title":"IEEE Trans Syst Man Cybern Part C Appl Rev"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1201\/9781420013719.ch10"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1080\/07408170008967423"},{"journal-title":"Real-Time Management of Resource Allocation Systems A Discrete Event Systems Approach","year":"2005","author":"reveliotis","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2007.893484"},{"journal-title":"Deadlock Resolution in Computer-Integrated Systems","year":"2004","author":"zhou","key":"ref16"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/356586.356588"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/70.370500"},{"key":"ref5","article-title":"Cooperating sequential processes","author":"dijkstra","year":"1965","journal-title":"Technical Report"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/363156.363160"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1137\/0207027"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7"},{"key":"ref1","first-page":"229","article-title":"Complexity of the deadlock avoidance problem","author":"araki","year":"1977","journal-title":"2nd IBM Symp on Mathematical Foundations of Computer Science"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1147\/sj.72.0074"}],"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\/05584286.pdf?arnumber=5584286","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T10:36:02Z","timestamp":1497868562000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5584286\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,8]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/coase.2010.5584286","relation":{},"subject":[],"published":{"date-parts":[[2010,8]]}}}