{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,5,7]],"date-time":"2022-05-07T00:25:07Z","timestamp":1651883107314},"reference-count":58,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2015,6,1]],"date-time":"2015-06-01T00:00:00Z","timestamp":1433116800000},"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 Robot. Automat. Mag."],"published-print":{"date-parts":[[2015,6]]},"DOI":"10.1109\/mra.2015.2401295","type":"journal-article","created":{"date-parts":[[2015,5,14]],"date-time":"2015-05-14T18:40:16Z","timestamp":1431628816000},"page":"77-94","source":"Crossref","is-referenced-by-count":15,"title":["Coordinating Autonomy: Sequential Resource Allocation Systems for Automation"],"prefix":"10.1109","volume":"22","author":[{"given":"Spyros","family":"Reveliotis","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"ref39","article-title":"The Mathematical Foundations of Learning Machines","author":"nilsson","year":"1990"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511976667"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-012-0139-x"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2003.820576"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-014-0189-3"},{"key":"ref30","article-title":"Workflow Handbook","author":"lawrence","year":"1997"},{"key":"ref37","article-title":"Designing parsimonious representations of the maximally permissive deadlock avoidance policy for complex resource allocation systems through classification theory","author":"nazeem","year":"2012"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-5711-1"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2012.2226034"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/70.720355"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1023\/A:1007969601583"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1023\/A:1012203214611"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/70.63273"},{"key":"ref1","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":"ref20","article-title":"Fundamentals of Modern Manufacturing: Materials, Processes and Systems","author":"groover","year":"1996"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2010.2046412"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2009.2037825"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TRA.2002.805655"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2011.2162502"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1080\/07408179708966409"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1080\/07408179708966408"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2013.02.036"},{"key":"ref51","article-title":"Facilities Planning","author":"tompkins","year":"2010"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1108\/01443579710167212"},{"key":"ref57","first-page":"281","article-title":"Gadara: Dynamic deadlock avoidance for multithreaded programs","author":"wang","year":"2008","journal-title":"Proc 5th USENIX Conf Operating Syst Design Implementation"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1109\/70.63257"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-04565-7"},{"key":"ref54","article-title":"Workflow Management: Models, Methods and Systems","author":"van der aalst","year":"2002"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2013.6721742"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2005.1570131"},{"key":"ref10","article-title":"Operating Systems","author":"deitel","year":"1990"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.2307\/2370405"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/9.956052"},{"key":"ref12","article-title":"Cooperating sequential processes","author":"dijkstra","year":"1965","journal-title":"Technological Univ"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/70.370500"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TRA.2002.801048"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/70.585898"},{"key":"ref16","first-page":"343","article-title":"Event control for deadlock avoidance in production systems with multiple capacity resources","volume":"7","author":"fanti","year":"1998","journal-title":"Stud Inform Control"},{"key":"ref17","article-title":"Symbolic supervisory control of resource allocation systems","author":"fei","year":"2014"},{"key":"ref18","first-page":"974","article-title":"Generalized mutual exclusion constraints on nets with uncontrollable transitions","author":"giua","year":"1992","journal-title":"Proc Int Conf Systems Man Cybernetics"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1137\/0207027"},{"key":"ref4","article-title":"Neuro-Dynamic Programming","author":"bertsekas","year":"1996"},{"key":"ref3","article-title":"Dynamic Programming and Optimal Control","volume":"2","author":"bertsekas","year":"1995"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/136035.136043"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511800191"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/70.650158"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/9.633824"},{"key":"ref9","article-title":"Model Checking","author":"clarke jr","year":"1999"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44919-1_17"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2010.2098270"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2007.893461"},{"key":"ref47","article-title":"Real-Time Management of Resource Allocation Systems: A Discrete Event Systems Approach","author":"reveliotis","year":"2005"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1002\/9780470182963"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2010.2046111"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1201\/b16529-9"}],"container-title":["IEEE Robotics & Automation Magazine"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/100\/7124588\/07107996.pdf?arnumber=7107996","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:47:16Z","timestamp":1642006036000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7107996\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,6]]},"references-count":58,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/mra.2015.2401295","relation":{},"ISSN":["1070-9932"],"issn-type":[{"value":"1070-9932","type":"print"}],"subject":[],"published":{"date-parts":[[2015,6]]}}}
