{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,28]],"date-time":"2026-05-28T02:11:45Z","timestamp":1779934305922,"version":"3.53.1"},"reference-count":29,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"7","license":[{"start":{"date-parts":[[2012,7,1]],"date-time":"2012-07-01T00:00:00Z","timestamp":1341100800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Contr."],"published-print":{"date-parts":[[2012,7]]},"DOI":"10.1109\/tac.2011.2179422","type":"journal-article","created":{"date-parts":[[2011,12,12]],"date-time":"2011-12-12T22:13:02Z","timestamp":1323727982000},"page":"1670-1684","source":"Crossref","is-referenced-by-count":39,"title":["Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Nonlinear Case"],"prefix":"10.1109","volume":"57","author":[{"given":"Ahmed","family":"Nazeem","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Spyros","family":"Reveliotis","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/363156.363160"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1147\/sj.72.0074"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/356603.356607"},{"key":"ref13","author":"hopcroft","year":"1979","journal-title":"Introduction to Automata Theory Languages and Computation"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1023\/A:1012203214611"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2007.913920"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/CASE.2011.6042400"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2011.2159112"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2010.2095612"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/70.63257"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/70.63273"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2008.929375"},{"key":"ref6","author":"dijkstra","year":"1965","journal-title":"Cooperating sequential processes"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/356586.356588"},{"key":"ref29","year":"2004","journal-title":"Deadlock Resolution in Computer-Integrated Systems"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TRA.2002.807555"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/70.370500"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"529","DOI":"10.1007\/3-540-65306-6_22","author":"badouel","year":"1998","journal-title":"In LNCS 1491Advances in Petri Nets Basic Models"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"320","DOI":"10.1137\/0207027","article-title":"Deadlock prediction: Easy and difficult cases","volume":"7","author":"gold","year":"1978","journal-title":"SIAM J Comput"},{"key":"ref1","first-page":"229","article-title":"Complexity of the deadlock avoidance problem","author":"araki","year":"1977","journal-title":"Proc 2nd IBM Symp Math Found Comput Sci"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1002\/9781118627372"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/9.956052"},{"key":"ref21","author":"nilsson","year":"1990","journal-title":"The Mathematical Foundations of Learning Machines"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.910701"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/70.544768"},{"key":"ref25","author":"reveliotis","year":"2005","journal-title":"Real-Time Management of Resource Allocation Systems A Discrete Event Systems Approach"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9\/6224214\/06099567.pdf?arnumber=6099567","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,10]],"date-time":"2021-10-10T23:51:46Z","timestamp":1633909906000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6099567\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,7]]},"references-count":29,"journal-issue":{"issue":"7"},"URL":"https:\/\/doi.org\/10.1109\/tac.2011.2179422","relation":{},"ISSN":["0018-9286","1558-2523"],"issn-type":[{"value":"0018-9286","type":"print"},{"value":"1558-2523","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,7]]}}}