{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T07:29:57Z","timestamp":1775028597651,"version":"3.50.1"},"reference-count":24,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2010,4,1]],"date-time":"2010-04-01T00:00:00Z","timestamp":1270080000000},"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. Sci. Eng."],"published-print":{"date-parts":[[2010,4]]},"DOI":"10.1109\/tase.2009.2022985","type":"journal-article","created":{"date-parts":[[2009,8,11]],"date-time":"2009-08-11T18:39:47Z","timestamp":1250015987000},"page":"240-248","source":"Crossref","is-referenced-by-count":9,"title":["Correctness Verification of Generalized Algebraic Deadlock Avoidance Policies Through Mathematical Programming"],"prefix":"10.1109","volume":"7","author":[{"given":"S.","family":"Reveliotis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E.","family":"Roszkowska","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Jin Young Choi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/70.720355"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/70.650158"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/9.956052"},{"key":"ref13","first-page":"241","article-title":"on the siphon-based characterization of liveness in sequential resource allocation systems","author":"reveliotis","year":"2003","journal-title":"Applications and Theory of Petri Nets"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2003.820576"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2007.893461"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"192","DOI":"10.1007\/s001700200014","article-title":"an optimal deadlock prevention policy for flexible manufacturing systems using petri net models with resources and the theory of regions","volume":"19","author":"uzam","year":"2002","journal-title":"Int J Adv Manufact Technol"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TRA.2002.807555"},{"key":"ref18","first-page":"322","article-title":"designing reversibility-enforcing supervisors of polynomial complexity for bounded petri nets through the theory of regions","author":"reveliotis","year":"2006","journal-title":"Proc ATPN"},{"key":"ref19","first-page":"229","article-title":"complexity of the deadlock avoidance problem","author":"araki","year":"1977","journal-title":"2nd IBM Symp Math Foundations Comput Sci"},{"key":"ref4","year":"2004","journal-title":"Deadlock Resolution in Computer-Integrated Systems"},{"key":"ref3","author":"reveliotis","year":"2005","journal-title":"Real-Time Management of Resource Allocation Systems A Discrete Event Systems Approach"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-5711-1"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1992.271666"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/70.544768"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/70.370500"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-4070-7"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.910701"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/70.585898"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/70.843175"},{"key":"ref22","author":"wolsey","year":"1998","journal-title":"Integer Programming"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TRA.2002.805655"},{"key":"ref24","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1007\/3-540-65306-6_19","author":"silva","year":"1998","journal-title":"Lecture Notes in Computer Science"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2006.872106"}],"container-title":["IEEE Transactions on Automation Science and Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8856\/5443442\/05196689.pdf?arnumber=5196689","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,10]],"date-time":"2021-10-10T23:54:25Z","timestamp":1633910065000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5196689\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,4]]},"references-count":24,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tase.2009.2022985","relation":{},"ISSN":["1545-5955"],"issn-type":[{"value":"1545-5955","type":"print"}],"subject":[],"published":{"date-parts":[[2010,4]]}}}