{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T16:51:42Z","timestamp":1729615902799,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,9]]},"DOI":"10.1109\/coase.2007.4341690","type":"proceedings-article","created":{"date-parts":[[2007,10,9]],"date-time":"2007-10-09T17:45:29Z","timestamp":1191951929000},"page":"200-206","source":"Crossref","is-referenced-by-count":0,"title":["Correctness Verification of Generalized Algebraic Deadlock Avoidance Policies through Mathematical Programming"],"prefix":"10.1109","author":[{"given":"Spyros","family":"Reveliotis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elzbieta","family":"Roszkowska","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jin Young","family":"Choi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","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":"17","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1109\/TRA.2002.807555","article-title":"Design of a live and maximally permissive Petri net controller using the theory of regions","volume":"19","author":"ghaffari","year":"2003","journal-title":"IEEE Trans on Robotics & Automation"},{"key":"18","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 2006"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2007.893461"},{"key":"16","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":"The International Journal of Advanced Manufacturing Technology"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44919-1_17"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2003.820576"},{"key":"11","first-page":"793","article-title":"Deadlock analysis of petri nets using siphons and mathematical programming","volume":"13","author":"chu","year":"1997","journal-title":"IEEE Trans on R&A"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/9.956052"},{"key":"21","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1007\/3-540-65306-6_19","article-title":"Linear algebraic and linear programming techniques for the analysis of place\/transition net systems","volume":"1491","author":"silva","year":"1998","journal-title":"Lecture Notes in Computer Science"},{"journal-title":"Real-Time Management of Resource Allocation Systems A Discrete Event Systems Approach","year":"2005","author":"reveliotis","key":"3"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2006.872106"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-4070-7"},{"key":"1","first-page":"991","article-title":"Generalized algebraic deadlock avoidance policies for sequential resource allocation systems","author":"reveliotis","year":"2007","journal-title":"Proc of 2007 IEEE Intl Conf on R&A"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/70.720355"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/70.370500"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-5711-1"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1992.271666"},{"journal-title":"Deadlock Resolution in Computer-Integrated Systems","year":"2004","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/70.585898"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/70.544768"}],"event":{"name":"2007 IEEE International Conference on Automation Science and Engineering","start":{"date-parts":[[2007,9,22]]},"location":"Scottsdale, AZ, USA","end":{"date-parts":[[2007,9,25]]}},"container-title":["2007 IEEE International Conference on Automation Science and Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4341639\/4341640\/04341690.pdf?arnumber=4341690","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T17:26:33Z","timestamp":1556904393000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4341690\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,9]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/coase.2007.4341690","relation":{},"subject":[],"published":{"date-parts":[[2007,9]]}}}