{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T14:31:51Z","timestamp":1784212311750,"version":"3.55.0"},"reference-count":169,"publisher":"Emerald","issue":"1-2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,4,5]]},"abstract":"<jats:p>The problem addressed in this document concerns the coordinated allocation of a finite set of reusable resources to a set of concurrently running processes. These processes execute in a staged manner, and each stage requires a different subset of the system resources for its support. Furthermore, processes will hold upon the resources currently allocated to them until they will secure the necessary resources for their next processing stage. Such resource allocation dynamics currently arise in the context of many flexibly automated operations: from the workflow that takes place in various production shop floors and certain internet-supported platforms that seek to automate various service operations; to the traffic coordination in guidepath-based transport systems like industrial monorail and urban railway systems; to the resource allocation that takes place in the context of the contemporary multi-core computer architectures. From a theoretical standpoint, the resource allocation problems that are abstracted from the aforementioned applications, correspond to the problem of scheduling a stochastic network with blocking and deadlocking effects. This is an area of the modern scheduling theory with very limited results. To a large extent, this lack of results is due to the intricacies that arise from the blocking, and especially the deadlocking effects that take place in these networks, and prevents a tractable analysis of these problems through the classical modeling frameworks. Hence, the departing thesis of the work that is presented in this document, is the decomposition of the aforementioned scheduling problems to (i) a supervisory control problem that will seek to prevent the deadlock formation in the underlying resource allocation dynamics, and (ii) a scheduling problem that will be formulated on the admissible subspace to be defined by the adopted supervisory control policy. Each of these two subproblems can be further structured and addressed using some formal modeling frameworks borrowed, respectively, from the qualitative and the quantitative theory of Discrete Event Systems. At the same time, the above two subproblems possess considerable special structure that can be leveraged towards their effective and efficient solution. The presented material provides a comprehensive tutorial exposition of the current achievements of the corresponding research community with respect to the first of the two subproblems mentioned above. As it will be revealed by this exposition, the corresponding results are pretty rich in their theoretical developments and practically potent. At the same time, it is expected and hoped that the resulting awareness regarding the aforementioned results will also set the stage for undertaking a more orchestrated effort on the second of the two subproblems mentioned above.<\/jats:p>","DOI":"10.1561\/2600000010","type":"journal-article","created":{"date-parts":[[2017,4,5]],"date-time":"2017-04-05T08:34:41Z","timestamp":1491381281000},"page":"1-223","source":"Crossref","is-referenced-by-count":22,"title":["Logical Control of Complex Resource Allocation Systems"],"prefix":"10.1108","volume":"4","author":[{"given":"Spyros","family":"Reveliotis","sequence":"first","affiliation":[{"name":"School of Industrial & Systems Engineering, Georgia Institute of Technology , Atlanta, , 30032,","place":["GA, USA"]}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"140","published-online":{"date-parts":[[2017,4,5]]},"reference":[{"key":"2026033114224852200_ref001","volume-title":"Modeling with Generalized Stochastic Petri Nets","author":"Ajmone Marsan","year":"1994"},{"key":"2026033114224852200_ref002","first-page":"384","article-title":"SUPREMICA-an integrated environment for verification, synthesis and simulation of discrete event systems","volume-title":"Proceedings of the 8th International Workshop on Discrete Event Systems","author":"Akesson","year":"2006"},{"key":"2026033114224852200_ref003","first-page":"229","article-title":"Complexity of the deadlock avoidance problem","volume-title":"2nd IBM Symposium on Mathematical Foundations of Computer Science","author":"Araki","year":"1977"},{"key":"2026033114224852200_ref004","first-page":"529","volume-title":"LNCS 1491 \u2013 Advances in Petri Nets: Basic Models","author":"Badouel","year":"1998"},{"key":"2026033114224852200_ref005","doi-asserted-by":"crossref","first-page":"724","DOI":"10.1109\/70.63273","article-title":"Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows","volume":"6","author":"Banaszak","year":"1990","journal-title":"IEEE Transactions on Robotics and Automation"},{"key":"2026033114224852200_ref006","first-page":"4119","article-title":"A deadlock prevention method for a class of FMS","volume-title":"Proceedings of the IEEE International Conference on Systems, Man and Cybernetics","author":"Barkaoui","year":"1995"},{"key":"2026033114224852200_ref007","volume-title":"Applied Dynamic Programming","author":"Bellman","year":"1957"},{"key":"2026033114224852200_ref008","volume-title":"Dynamic Programming and Optimal Control, Vol. 1","author":"Bertsekas","year":"1995"},{"key":"2026033114224852200_ref009","volume-title":"Dynamic Programming and Optimal Control","author":"Bertsekas","year":"2012","edition":"4th"},{"key":"2026033114224852200_ref010","volume-title":"Neuro-Dynamic Programming","author":"Bertsekas","year":"1996"},{"key":"2026033114224852200_ref011","first-page":"23","article-title":"Tandem configurations for AGV systems offer simplicity and flexibility","volume":"21","author":"Bozer","year":"1989","journal-title":"Industrial Engineering"},{"key":"2026033114224852200_ref012","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511800191","volume-title":"Advanced Data Structures","author":"Brass","year":"2008"},{"issue":"3","key":"2026033114224852200_ref013","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1145\/136035.136043","article-title":"Symbolic Boolean manipulation with ordered binary-decision diagrams","volume":"24","author":"Bryant","year":"1992","journal-title":"ACM Computing Surveys"},{"issue":"8","key":"2026033114224852200_ref014","doi-asserted-by":"crossref","first-page":"677","DOI":"10.1109\/TC.1986.1676819","article-title":"Graph-based algorithms for Boolean function manipulation","volume":"100","author":"Bryant","year":"1986","journal-title":"IEEE Transactions on Computers"},{"key":"2026033114224852200_ref015","volume-title":"Formal Methods in Manufacturing","author":"Campos","year":"2014"},{"key":"2026033114224852200_ref016","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1007\/s10626-012-0132-4","article-title":"An algorithm to compute minimal siphons in S4PR nets","volume":"22","author":"Cano","year":"2012","journal-title":"Discrete Event Dynamic Systems: Theory and Applications"},{"key":"2026033114224852200_ref017","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-387-68612-7","volume-title":"Introduction to Discrete Event Systems (2nd ed.)","author":"Cassandras","year":"2008"},{"key":"2026033114224852200_ref018","doi-asserted-by":"crossref","first-page":"1028","DOI":"10.1016\/j.automatica.2011.01.070","article-title":"Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems","volume":"47","author":"Chen","year":"2011","journal-title":"Automatica"},{"key":"2026033114224852200_ref019","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1109\/TASE.2005.861397","article-title":"Robust supervisory control for production systems with multiple resource failures","volume":"3","author":"Chew","year":"2006","journal-title":"IEEE Transactions on Automation Science and Engineering"},{"key":"2026033114224852200_ref020","volume-title":"Performance Modelling, Analysis and Control of Capacitated Re-entrant Lines","author":"Choi","year":"2004"},{"key":"2026033114224852200_ref021","doi-asserted-by":"crossref","first-page":"474","DOI":"10.1109\/TRA.2003.810577","article-title":"A generalized stochastic Petri net model for performance analysis and control of capacitated re-entrant lines","volume":"19","author":"Choi","year":"2003","journal-title":"IEEE Transactions on Robotics and Automation"},{"key":"2026033114224852200_ref022","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1109\/TASE.2005.849085","article-title":"Relative value function approximation for the capacitated re-entrant line scheduling problem","volume":"2","author":"Choi","year":"2005","journal-title":"IEEE Transactions on Automation Science and Engineering"},{"key":"2026033114224852200_ref023","first-page":"793","article-title":"Deadlock analysis of Petri nets using siphons and mathematical programming","volume":"13","author":"Chu","year":"1997","journal-title":"IEEE Transactions on R&A"},{"key":"2026033114224852200_ref024","volume-title":"Linear Programming","author":"Chv\u00e1tal","year":"1983"},{"key":"2026033114224852200_ref025","first-page":"151","article-title":"The complexity of theorem-proving procedures","volume-title":"Proceedings of 3rd Annual ACM Symposium on Theory of Computing","author":"Cook","year":"1971"},{"key":"2026033114224852200_ref026","first-page":"844","article-title":"Enumeration algorithms for minimal siphons in Petri nets based on place constraints","volume":"35","author":"Cordone","year":"2005","journal-title":"IEEE Transactions on SMC: Part A"},{"key":"2026033114224852200_ref027","doi-asserted-by":"crossref","DOI":"10.1109\/CDC.2012.6427075","article-title":"Maximally permissive deadlock avoidance for sequential resource allocation systems using disjunctions of linear classifiers","volume-title":"Proceedings of CDC 2012","author":"Cordone","year":"2012"},{"key":"2026033114224852200_ref028","doi-asserted-by":"crossref","first-page":"2772","DOI":"10.1109\/TAC.2013.2266952","article-title":"Designing optimal deadlock avoidance policies for sequential resource allocation systems through classification theory: existence results and customized algorithms","volume":"58","author":"Cordone","year":"2013","journal-title":"IEEE Transactions on Automatic Control"},{"key":"2026033114224852200_ref029","first-page":"413","article-title":"Monitor optimzation in Petri net control","volume-title":"Proceedings of the 7th IEEE Conference on Automation Science and Engineering","author":"Cordone","year":"2011"},{"key":"2026033114224852200_ref030","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1214\/aoap\/1177004828","article-title":"On positive Harris recurrence of multiclass queueing networks: A unified approach via fluid limit models","volume":"5","author":"Dai","year":"1995","journal-title":"Annals of Applied Probability"},{"key":"2026033114224852200_ref031","author":"Dai","year":"1998"},{"key":"2026033114224852200_ref032","volume-title":"Operating Systems","author":"Deitel","year":"1990"},{"issue":"4","key":"2026033114224852200_ref033","doi-asserted-by":"crossref","first-page":"413","DOI":"10.2307\/2370405","article-title":"Finiteness of the odd perfect and primitive abundant numbers with n distinct prime factors","volume":"35","author":"Dickson","year":"1913","journal-title":"American Journal of Mathematics"},{"key":"2026033114224852200_ref034","author":"Dijkstra","year":"1965"},{"key":"2026033114224852200_ref035","first-page":"173","article-title":"A Petri net based deadlock prevention policy for flexible manufacturing systems","volume":"11","author":"Ezpeleta","year":"1995","journal-title":"IEEE Transactions on R&A"},{"key":"2026033114224852200_ref036","first-page":"621","article-title":"A Banker\u2019s solution for deadlock avoidance in FMS with flexible routing and multi-resource states","volume":"18","author":"Ezpeleta","year":"2002","journal-title":"IEEE Transactions on R&A"},{"key":"2026033114224852200_ref037","doi-asserted-by":"crossref","first-page":"1453","DOI":"10.1080\/00207540110118073","article-title":"Event-based controller to avoid deadlock and collisions in zonecontrolled AGVS","volume":"40","author":"Fanti","year":"2002","journal-title":"International Journal of Production Research"},{"key":"2026033114224852200_ref038","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1109\/70.585898","article-title":"Event-based feedback control for deadlock avoidance in flexible production systems","volume":"13","author":"Fanti","year":"1997","journal-title":"IEEE Transactions on Robotics and Automation"},{"key":"2026033114224852200_ref039","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":"Studies in Informatics and Control"},{"key":"2026033114224852200_ref040","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1201\/b16529-11","volume-title":"Formal Methods in Manufacturing","author":"Fanti","year":"2014"},{"key":"2026033114224852200_ref041","doi-asserted-by":"crossref","first-page":"783","DOI":"10.1109\/3477.875452","article-title":"Comparing digraph and Petri net approaches to deadlock avoidance in FMS modeling and performance analysis","volume":"30","author":"Fanti","year":"2000","journal-title":"IEEE Transactions on Systems, Man and Cybernetics, Part B"},{"key":"2026033114224852200_ref042","volume-title":"Symbolic Supervisory Control of Resource Allocation Systems","author":"Fei","year":"2014"},{"key":"2026033114224852200_ref043","doi-asserted-by":"crossref","DOI":"10.1109\/CDC.2014.7040318","article-title":"Symbolic computation and representation of deadlock avoidance policies for complex resource allocation systems with application to multithreaded software","volume-title":"Proceedings of the 53rd IEEE Conference on Decision and Control","author":"Fei","year":"2014"},{"key":"2026033114224852200_ref044","doi-asserted-by":"crossref","first-page":"990","DOI":"10.1109\/TASE.2014.2369858","article-title":"A BDD-based approach for designing maximally permissive deadlock avoidance policies for complex resource allocation systems","volume":"12","author":"Fei","year":"2015","journal-title":"IEEE Transactions on Automation Science and Engineering"},{"key":"2026033114224852200_ref045","first-page":"88","article-title":"Optimal control of discrete event systems","volume-title":"Proceedings of the 4th Workshop on Discrete Event Systems","author":"Garcia-Valles","year":"1998"},{"key":"2026033114224852200_ref046","volume-title":"Computers and Intractability: A Guide to the Theory of NP-Completeness","author":"Garey","year":"1979"},{"key":"2026033114224852200_ref047","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 Transactions on Robotics & Automation"},{"key":"2026033114224852200_ref048","first-page":"974","article-title":"Generalized mutual exclusion constraints on nets with uncontrollable transitions","volume-title":"Proceedings of the 1992 IEEE International Conference on Systems, Man and Cybernetics","author":"Giua","year":"1992"},{"key":"2026033114224852200_ref049","first-page":"1231","article-title":"Monitor design for colored Petri nets: an application to deadlock prevention in railway networks","volume":"10","author":"Giua","year":"2006","journal-title":"Control Engineering Practice"},{"key":"2026033114224852200_ref050","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 Journal of Computing"},{"key":"2026033114224852200_ref051","volume-title":"Fundamentals of Modern Manufacturing: Materials, Processes and Systems","author":"Groover","year":"1996"},{"key":"2026033114224852200_ref052","volume-title":"Queueing Theory (4th ed.)","author":"Gross","year":"2008"},{"key":"2026033114224852200_ref053","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1145\/363156.363160","article-title":"Prevention of system deadlocks","volume":"12","author":"Habermann","year":"1969","journal-title":"Communications of the ACM"},{"key":"2026033114224852200_ref054","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1214\/aoap\/1019737665","article-title":"Brownian models of open processing networks: canonical representation of workload","volume":"10","author":"Harrison","year":"2000","journal-title":"Annals of Applied Probability"},{"key":"2026033114224852200_ref055","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1147\/sj.72.0074","article-title":"Avoiding deadlock in multi-tasking systems","volume":"2","author":"Havender","year":"1968","journal-title":"IBM Systems Journal"},{"key":"2026033114224852200_ref056","doi-asserted-by":"crossref","DOI":"10.1201\/9781420066272","volume-title":"Facilities Design (3rd ed.)","author":"Heragu","year":"2008"},{"key":"2026033114224852200_ref057","first-page":"2789","article-title":"Symbolic synthesis of supervisory controllers","volume-title":"American Control Conference","author":"Hoffmann","year":"1992"},{"key":"2026033114224852200_ref058","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1145\/356603.356607","article-title":"Some deadlock properties of computer systems","volume":"4","author":"Holt","year":"1972","journal-title":"ACM Computing Surveys"},{"key":"2026033114224852200_ref059","volume-title":"Introduction to Automata Theory, Languages and Computation","author":"Hopcroft","year":"1979"},{"key":"2026033114224852200_ref060","doi-asserted-by":"crossref","first-page":"1695","DOI":"10.1016\/S0005-1098(03)00176-6","article-title":"Robutness of deadlock avoidance algorithms for sequential processes","volume":"39","author":"Hsieh","year":"2003","journal-title":"Automatica"},{"key":"2026033114224852200_ref061","doi-asserted-by":"crossref","first-page":"392","DOI":"10.1109\/TSMCA.2011.2162502","article-title":"Liveness and ratio-enforcing supervision of automated manufacturing systems using Petri nets","volume":"42","author":"Hu","year":"2012","journal-title":"IEEE Transactions on Systems, Man and Cybernetics \u2013 Part A: Systems and Humans"},{"key":"2026033114224852200_ref062","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1080\/00207540010002405","article-title":"Deadlock prevention policy based on Petri nets and siphons","volume":"39","author":"Huang","year":"2001","journal-title":"International Journal of Production Research"},{"key":"2026033114224852200_ref063","volume-title":"Supervisory Control of Concurrent Systems: A Petri net structural approach","author":"Iordache","year":"2006"},{"key":"2026033114224852200_ref064","doi-asserted-by":"crossref","first-page":"875","DOI":"10.1109\/TRA.2002.805655","article-title":"Process nets with resources for manufacturing modeling and their analysis","volume":"18","author":"Jeng","year":"2002","journal-title":"IEEE Transactions on Robotics & Automation"},{"issue":"12","key":"2026033114224852200_ref065","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1109\/MC.2009.391","article-title":"Eliminating concurrency bugs with control engineering","volume":"42","author":"Kelly","year":"2009","journal-title":"IEEE Computer"},{"key":"2026033114224852200_ref066","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1007\/978-1-4612-2670-3_8","volume-title":"Stochastic Modeling and Analysis of Manufacturing Systems","author":"Kumar","year":"1994"},{"key":"2026033114224852200_ref067","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1109\/9.481604","article-title":"Duality and linear programs for stability and performance analysis of queueing networks and scheduling policies","volume":"41","author":"Kumar","year":"1996","journal-title":"IEEE Transactions on Automatic Control"},{"key":"2026033114224852200_ref068","volume-title":"Stochastic Approximation and Recursive Algorithms and Applications","author":"Kushner","year":"2003"},{"key":"2026033114224852200_ref069","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1023\/A:1007937925728","article-title":"Design guidelines for deadlock handling strategies in flexible manufacturing systems","volume":"9","author":"Lawley","year":"1997","journal-title":"International Journal of Flexible Manufacturing Systems"},{"key":"2026033114224852200_ref070","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1023\/A:1007969601583","article-title":"The application and evaluation of Banker\u2019s algorithm for deadlock-free buffer space allocation in flexible manufacturing systems","volume":"10","author":"Lawley","year":"1998","journal-title":"International Journal of Flexible Manufacturing Systems"},{"key":"2026033114224852200_ref071","doi-asserted-by":"crossref","first-page":"796","DOI":"10.1109\/70.720355","article-title":"A correct and scalable deadlock avoidance policy for flexible manufacturing systems","volume":"14","author":"Lawley","year":"1998","journal-title":"IEEE Transactions on Robotics & Automation"},{"key":"2026033114224852200_ref072","first-page":"346","article-title":"Robust supervisory control policies for manufacturing systems with unreliable resources","volume":"18","author":"Lawley","year":"2002","journal-title":"IEEE Transactions on R&A"},{"key":"2026033114224852200_ref073","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1109\/70.768182","article-title":"Deadlock avoidance for production systems with flexible routing","volume":"15","author":"Lawley","year":"1999","journal-title":"IEEE Transactions on Robotics & Automation"},{"key":"2026033114224852200_ref074","first-page":"385","article-title":"Deadlock avoidance for sequential resource allocation systems: hard and easy cases","volume":"13","author":"Lawley","year":"2001","journal-title":"International Journal of FMS"},{"key":"2026033114224852200_ref075","volume-title":"Performance Optimization of Complex Resource Allocation Systems","author":"Li","year":"2016"},{"key":"2026033114224852200_ref076","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1007\/s10626-014-0189-3","article-title":"Performance optimization for a class of generalized stochastic Petri nets","volume":"25","author":"Li","year":"2015","journal-title":"Discrete Event Dynamic Systems: Theory and Applications"},{"key":"2026033114224852200_ref077","doi-asserted-by":"crossref","first-page":"511","DOI":"10.1007\/s10626-015-0219-9","article-title":"Designing parsimonious scheduling policies for complex resource allocation systems through concurrency theory","volume":"26","author":"Li","year":"2016","journal-title":"Discrete Event Dynamic Systems: Theory and Applications"},{"key":"2026033114224852200_ref078","first-page":"57","article-title":"Deadlock issues in supervisory control of discrete event systems","author":"Li","year":"1988","journal-title":"Proceedings of the Conference on Information Sciences and Systems"},{"key":"2026033114224852200_ref079","first-page":"38","article-title":"Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems","volume":"34","author":"Li","year":"2004","journal-title":"IEEE Transactions on SMC \u2013 Part A"},{"key":"2026033114224852200_ref080","first-page":"133","article-title":"Control of elementary and dependent siphons in Petri nets and their application","volume":"38","author":"Li","year":"2008","journal-title":"IEEE Transactions on SMC \u2013 Part A"},{"key":"2026033114224852200_ref081","volume-title":"Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach","author":"Li","year":"2009"},{"key":"2026033114224852200_ref082","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 Transactions on Systems, Man and Cybernetics \u2013 Part C: Applications and Reviews"},{"key":"2026033114224852200_ref083","volume-title":"Modeling, Analysis and Control of a Class of Resource Allocation Systems Arising in Concurrent Software","author":"Liao","year":"2012"},{"key":"2026033114224852200_ref084","doi-asserted-by":"crossref","first-page":"1123","DOI":"10.1109\/TAC.2012.2230814","article-title":"Optimal liveness-enforcing control for a class of Petri nets arising in multithreaded software","volume":"58","author":"Liao","year":"2013","journal-title":"IEEE Transactions on Automatic Control"},{"key":"2026033114224852200_ref085","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/s10626-012-0139-x","article-title":"Concurrency bugs in multithreaded software: Modeling and analysis using Petri nets","volume":"23","author":"Liao","year":"2013","journal-title":"Discrete Event Systems: Theory and Applications"},{"key":"2026033114224852200_ref086","doi-asserted-by":"crossref","first-page":"2067","DOI":"10.1109\/TCST.2012.2226034","article-title":"Eliminating concurrency bugs in multithreaded software: a new approach based on discrete-event control","volume":"21","author":"Liao","year":"2013","journal-title":"IEEE Transactions on Control, Systems Technology"},{"key":"2026033114224852200_ref087","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1287\/opre.1040.0170","article-title":"Maximum pressure policies in stochastic processing networks","volume":"53","author":"Lin","year":"2005","journal-title":"Operations Research"},{"key":"2026033114224852200_ref088","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1007\/978-3-642-29072-5_8","article-title":"A Petri net perspective on the resource allocation problem in software engineering","author":"Lopez-Grao","year":"2012","journal-title":"Transactions on Petri Nets and Other Models of Concurrency V"},{"key":"2026033114224852200_ref089","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1201\/b16529-10","volume-title":"Formal Methods in Manufacturing","author":"Lopez-Grao","year":"2014"},{"issue":"5","key":"2026033114224852200_ref090","doi-asserted-by":"crossref","first-page":"782","DOI":"10.1109\/TAC.2006.875030","article-title":"Nonblocking supervisory control of state tree structures","volume":"51","author":"Ma","year":"2006","journal-title":"IEEE Transactions on Automatic Control"},{"key":"2026033114224852200_ref091","doi-asserted-by":"crossref","first-page":"1774","DOI":"10.1109\/TAC.2015.2389313","article-title":"Design of optimal Petri net controllers for disjunctive generalized mutual exclusion constraints","volume":"60","author":"Ma","year":"2015","journal-title":"IEEE Transactions on Automatic Control"},{"key":"2026033114224852200_ref092","doi-asserted-by":"crossref","first-page":"897","DOI":"10.1214\/aoap\/1019487513","article-title":"Discrete-review policies for scheduling stochastic networks: trajectory tracking and fluid-scale asymptotic optimality","volume":"10","author":"Maglaras","year":"2000","journal-title":"Annals of Applied Probability"},{"key":"2026033114224852200_ref093","volume-title":"Control Techniques for Complex Networks","author":"Meyn","year":"2008"},{"key":"2026033114224852200_ref094","first-page":"175","article-title":"Stability and optimization of multi-class queueing networks and their fluid models","volume":"33","author":"Meyn","year":"1997","journal-title":"Lectures in Applied Mathematics"},{"issue":"6","key":"2026033114224852200_ref095","doi-asserted-by":"crossref","first-page":"1421","DOI":"10.1109\/TCST.2011.2167150","article-title":"A BDD-based approach for modeling plant and supervisor by extended finite automata","volume":"20","author":"Miremadi","year":"2012","journal-title":"IEEE Transactions on Control Systems Technology"},{"key":"2026033114224852200_ref096","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-5711-1","volume-title":"Supervisory Control of Discrete Event Systems Using Petri Nets","author":"Moody","year":"1998"},{"key":"2026033114224852200_ref097","volume-title":"Heuristic Scheduling Systems: With Applications to Production Systems and Project Management","author":"Morton","year":"1993"},{"key":"2026033114224852200_ref098","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","article-title":"Petri nets: Properties, analysis and applications","volume":"77","author":"Murata","year":"1989","journal-title":"Proceedings of the IEEE"},{"key":"2026033114224852200_ref099","volume-title":"Designing parsimonious representations of the maximally permissive deadlock avoidance policy for complex resource allocation systems through classification theory","author":"Nazeem","year":"2012"},{"key":"2026033114224852200_ref100","doi-asserted-by":"crossref","first-page":"766","DOI":"10.1109\/TASE.2011.2159112","article-title":"A practical approach for maximally permissive liveness-enforcing supervision of complex resource allocation systems","volume":"8","author":"Nazeem","year":"2011","journal-title":"IEEE Transactions on Automation Science and Engineering"},{"key":"2026033114224852200_ref101","doi-asserted-by":"crossref","first-page":"1670","DOI":"10.1109\/TAC.2011.2179422","article-title":"Designing maximally permissive deadlock avoidance policies for sequential resource allocation systems through classification theory: the non-linear case","volume":"57","author":"Nazeem","year":"2012","journal-title":"IEEE Transactions on Automatic Control"},{"key":"2026033114224852200_ref102","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1109\/TASE.2013.2266793","article-title":"Efficient enumeration of minimal unsafe states in complex resource allocation systems","volume":"11","author":"Nazeem","year":"2014","journal-title":"IEEE Transactions on Automation Science & Engineering"},{"key":"2026033114224852200_ref103","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1007\/s10626-014-0202-x","article-title":"Maximally permissive deadlock avoidance for resource allocation systems with R\/W-locks","volume":"25","author":"Nazeem","year":"2015","journal-title":"Discrete Event Dynamic Systems: Theory and Applications"},{"key":"2026033114224852200_ref104","doi-asserted-by":"crossref","first-page":"1818","DOI":"10.1109\/TAC.2010.2095612","article-title":"Designing maximally permissive deadlock avoidance policies for sequential resource allocation systems through classification theory: the linear case","volume":"56","author":"Nazeem","year":"2011","journal-title":"IEEE Transactions on Automatic Control"},{"key":"2026033114224852200_ref105","doi-asserted-by":"crossref","DOI":"10.1002\/9781118627372","volume-title":"Integer and Combinatorial Optimization","author":"Nemhauser","year":"1988"},{"key":"2026033114224852200_ref106","volume-title":"Quantum Computation and Quantum Information","author":"Nielsen","year":"2010"},{"key":"2026033114224852200_ref107","volume-title":"The Mathematical Foundations of Learning Machines","author":"Nilsson","year":"1990"},{"key":"2026033114224852200_ref108","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0013862","volume-title":"Queueing Networks with Finite Capacity","author":"Onvural","year":"1993"},{"key":"2026033114224852200_ref109","volume-title":"Combinatorial Optimization: Algortihms and Complexity","author":"Papadimitriou","year":"1998"},{"key":"2026033114224852200_ref110","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1109\/TSMCA.2003.820571","article-title":"A deadlock and livelock free protocol for decentralized internet resource coallocation","volume":"34","author":"Park","year":"2004","journal-title":"IEEE Transactions on Systems, Man and Cybernetics, Part A"},{"key":"2026033114224852200_ref111","first-page":"190","article-title":"Algebraic synthesis of efficient deadlock avoidance policies for sequential resource allocation systems","volume":"16","author":"Park","year":"2000","journal-title":"IEEE Transactions on R&A"},{"key":"2026033114224852200_ref112","first-page":"234","article-title":"Liveness-enforcing supervision for resource allocation systems with uncontrollable events and forbidden states","volume":"18","author":"Park","year":"2002","journal-title":"IEEE Transactions on R&A"},{"key":"2026033114224852200_ref113","doi-asserted-by":"crossref","first-page":"1572","DOI":"10.1109\/9.956052","article-title":"Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings","volume":"46","author":"Park","year":"2001","journal-title":"IEEE Transactions on Automatic Control"},{"key":"2026033114224852200_ref114","volume-title":"Queueing Networks with Blocking: Exact and Approximate Solutions","author":"Perros","year":"1994"},{"key":"2026033114224852200_ref115","volume-title":"Queueing Networks with Blocking","author":"Perros","year":"1989"},{"key":"2026033114224852200_ref116","volume-title":"Scheduling","author":"Pinedo","year":"2002"},{"key":"2026033114224852200_ref117","first-page":"1337","article-title":"Selective siphon control for deadlock prevention in Petri nets","volume":"38","author":"Piroddi","year":"2008","journal-title":"IEEE Transactions on SMC: Part A"},{"key":"2026033114224852200_ref118","first-page":"650","article-title":"Combined siphon and marking generation for deadlock prevention in Petri nets","volume":"39","author":"Piroddi","year":"2009","journal-title":"IEEE Transactions on SMC: Part A"},{"key":"2026033114224852200_ref119","doi-asserted-by":"crossref","DOI":"10.1002\/9780470182963","volume-title":"Approximate Dynamic Programming: Solving the Curses of Dimensionality","author":"Powell","year":"2007"},{"key":"2026033114224852200_ref120","doi-asserted-by":"crossref","DOI":"10.1002\/9780470316887","volume-title":"Markov Decision Processes: Discrete Stochastic Dynamic Programming","author":"Puterman","year":"1994"},{"key":"2026033114224852200_ref121","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1109\/5.21072","article-title":"The control of discrete event systems","volume":"77","author":"Ramadge","year":"1989","journal-title":"Proceedings of the IEEE"},{"key":"2026033114224852200_ref122","first-page":"235","volume-title":"Facility Logistics: Approaches and Solutions to Next Generation Challenges","author":"Reveliotis","year":"2007"},{"key":"2026033114224852200_ref123","doi-asserted-by":"crossref","DOI":"10.1109\/MRA.2015.2401295","article-title":"Coordinating autonomy: sequential resource allocation systems for automation","author":"Reveliotis","year":"2015","journal-title":"IEEE Robotics & Automation Magazine"},{"key":"2026033114224852200_ref124","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1109\/TAC.2014.2322991","article-title":"On the complexity of some state-counting problems for bounded Petri nets","volume":"60","author":"Reveliotis","year":"2015","journal-title":"IEEE Transactions on Automatic Control"},{"key":"2026033114224852200_ref125","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1016\/j.arcontrol.2016.04.009","article-title":"Real-Time Management of Complex Resource Allocation Systems: Necessity, Achievements and Further Challenges","volume":"41","author":"Reveliotis","year":"2016","journal-title":"Annual Reviews in Control"},{"issue":"2","key":"2026033114224852200_ref126","doi-asserted-by":"crossref","first-page":"921","DOI":"10.1109\/TAC.2016.2560536","article-title":"Invariant-based supervisory control of switched Discrete Event Systems","volume":"62","author":"Reveliotis","year":"2017","journal-title":"IEEE Transactions on Automatic Control"},{"key":"2026033114224852200_ref127","article-title":"Invariant-based supervisory control of switched Discrete Event Systems","volume-title":"The IFAC Conference on Analysis and Design of Hybrid Systems","author":"Reveliotis","year":"2015"},{"key":"2026033114224852200_ref128","doi-asserted-by":"crossref","DOI":"10.1109\/COASE.2016.7743492","article-title":"Robust deadlock avoidance for sequential resource allocation systems with resource outages","volume-title":"IEEE International Conference on Automation Science and Engineering","author":"Reveliotis","year":"2016"},{"key":"2026033114224852200_ref129","article-title":"Robust deadlock avoidance for sequential resource allocation systems with resource outages. Technical Report (submitted for publication), School of Industrial & Systems Engineering, Georgia Tech","author":"Reveliotis","year":"2016"},{"key":"2026033114224852200_ref130","doi-asserted-by":"crossref","first-page":"1707","DOI":"10.1137\/120866427","article-title":"Optimal linear separation of the safe and unsafe subspaces of sequential RAS as a set-covering problem: algorithmic procedures and geometric insights","volume":"51","author":"Reveliotis","year":"2013","journal-title":"SIAM Journal on Control and Optimization"},{"key":"2026033114224852200_ref131","doi-asserted-by":"crossref","first-page":"1646","DOI":"10.1109\/TAC.2010.2046111","article-title":"On the complexity of maximally permissive deadlock avoidance in multi-vehicle traffic systems","volume":"55","author":"Reveliotis","year":"2010","journal-title":"IEEE Transactions on Automatic Control"},{"key":"2026033114224852200_ref132","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1109\/TRO.2010.2098270","article-title":"Conflict resolution in free-ranging multi-vehicle systems: A resource allocation paradigm","volume":"27","author":"Reveliotis","year":"2011","journal-title":"IEEE Transactions on Robotics"},{"key":"2026033114224852200_ref133","doi-asserted-by":"crossref","first-page":"2345","DOI":"10.1109\/TAC.2007.910701","article-title":"Generalized algebraic deadlock avoidance policies for sequential resource allocation systems","volume":"52","author":"Reveliotis","year":"2007","journal-title":"IEEE Transactions on Automatic Control"},{"key":"2026033114224852200_ref134","doi-asserted-by":"crossref","first-page":"240","DOI":"10.1109\/TASE.2009.2022985","article-title":"Correctness verification of generalized algebraic deadlock avoidance policies through mathematical programming","volume":"7","author":"Reveliotis","year":"2010","journal-title":"IEEE Transactions on Automation Science and Engineering"},{"key":"2026033114224852200_ref135","first-page":"3","article-title":"Accommodating FMS operational contingencies through routing flexibility","volume":"15","author":"Reveliotis","year":"1999","journal-title":"IEEE Transactions on R&A"},{"issue":"7","key":"2026033114224852200_ref136","doi-asserted-by":"crossref","first-page":"647","DOI":"10.1080\/07408170008967423","article-title":"Conflict resolution in AGV systems","volume":"32","author":"Reveliotis","year":"2000","journal-title":"IIE Transactions"},{"key":"2026033114224852200_ref137","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1007\/3-540-44919-1_17","article-title":"On the siphon-based characterization of liveness in sequential resource allocation systems","author":"Reveliotis","year":"2003","journal-title":"Applications and Theory of Perti Nets 2003"},{"key":"2026033114224852200_ref138","article-title":"Structural analysis of assembly\/disassembly resource allocation systems","volume-title":"Proceedings of the International Conference on Robotics and Automation 2003","author":"Reveliotis","year":"2003"},{"key":"2026033114224852200_ref139","volume-title":"Real-time Management of Resource Allocation Systems: A Discrete Event Systems Approach","author":"Reveliotis","year":"2005"},{"key":"2026033114224852200_ref140","doi-asserted-by":"crossref","first-page":"462","DOI":"10.1109\/TASE.2006.872106","article-title":"A necessary and sufficient condition for the liveness and reversibility of process-resource nets with acyclic, quasi-live, serialisable and reversible process subnets","volume":"3","author":"Reveliotis","year":"2006","journal-title":"IEEE Transactions on Automation Science and Engineering"},{"key":"2026033114224852200_ref141","first-page":"319","article-title":"Implicit siphon control and its role in the liveness enforcing supervision of sequential resource allocation systems","volume":"37","author":"Reveliotis","year":"2007","journal-title":"IEEE Transactions on SMC: Part A"},{"key":"2026033114224852200_ref142","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":"Proceedings of International Conference on Application and Theory of Petri Nets"},{"key":"2026033114224852200_ref143","doi-asserted-by":"crossref","first-page":"845","DOI":"10.1109\/70.544768","article-title":"Deadlock avoidance policies for automated manufacturing cells","volume":"12","author":"Reveliotis","year":"1996","journal-title":"IEEE Transactions on Robotics & Automation"},{"key":"2026033114224852200_ref144","doi-asserted-by":"crossref","first-page":"1344","DOI":"10.1109\/9.633824","article-title":"Polynomial complexity deadlock avoidance policies for sequential resource allocation systems","volume":"42","author":"Reveliotis","year":"1997","journal-title":"IEEE Transactions on Automatic Control"},{"key":"2026033114224852200_ref145","first-page":"52","article-title":"Supervisory control for deadlock avoidance in compound processes","volume":"34","author":"Roszkowska","year":"2004","journal-title":"IEEE Transactions on SMC \u2013 Part A"},{"key":"2026033114224852200_ref146","doi-asserted-by":"crossref","first-page":"1689","DOI":"10.1109\/TAC.2008.929375","article-title":"On the liveness of guidepath-based, zoned-controlled, dynamically routed, closed traffic systems","volume":"53","author":"Roszkowska","year":"2008","journal-title":"IEEE Transactions on Automatic Control"},{"key":"2026033114224852200_ref147","doi-asserted-by":"crossref","first-page":"1639","DOI":"10.1016\/j.automatica.2013.02.036","article-title":"A distributed protocol for motion coordination in free-ranging vehicular systems","volume":"49","author":"Roszkowska","year":"2013","journal-title":"Automatica"},{"key":"2026033114224852200_ref148","first-page":"115","volume-title":"CIM in Process and Manufacturing Industry","author":"Roszkowska","year":"1993"},{"key":"2026033114224852200_ref149","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-4276-8","volume-title":"Control of Discrete Event Systems: Automata and Petri Net Perspectives","author":"Seatzu","year":"2013"},{"key":"2026033114224852200_ref150","first-page":"309","volume-title":"Lecture Notes in Computer Science","author":"Silva","year":"1998"},{"key":"2026033114224852200_ref151","first-page":"419","article-title":"Symbolic Synthesis and Verification of Hierarchical Interface-based Supervisory Control","volume-title":"8th Discrete Event Systems, WODES \u201906","author":"Song","year":"2006"},{"key":"2026033114224852200_ref152","doi-asserted-by":"crossref","first-page":"3269","DOI":"10.1109\/TAC.2015.2426232","article-title":"SAT-based control of concurrent software for deadlock avoidance","volume":"60","author":"Stanley","year":"2015","journal-title":"IEEE Transactions on Automatic Control"},{"key":"2026033114224852200_ref153","first-page":"273","article-title":"A structural approach to the problem of deadlock prevention in processes with resources","volume-title":"Proceedings of the 4th Workshop on Discrete Event Systems","author":"Tricas","year":"1998"},{"key":"2026033114224852200_ref154","first-page":"271","article-title":"A Petri net structurebased deadlock prevention solution for sequential resource allocation systems","volume-title":"Proceedings of the ICRA 2005","author":"Tricas","year":"2005"},{"issue":"10","key":"2026033114224852200_ref155","doi-asserted-by":"crossref","first-page":"1157","DOI":"10.1016\/j.conengprac.2006.02.013","article-title":"Efficient supervisory synthesis of large systems","volume":"14","author":"Vahidi","year":"2006","journal-title":"Control Engineering Practice"},{"key":"2026033114224852200_ref156","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7301.001.0001","volume-title":"Workflow Management: Models, Methods and Systems","author":"Van der Aalst","year":"2002"},{"key":"2026033114224852200_ref157","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-04565-7","volume-title":"Approximation Algorithms","author":"Vazirani","year":"2003"},{"key":"2026033114224852200_ref158","doi-asserted-by":"crossref","first-page":"713","DOI":"10.1109\/70.63257","article-title":"Deadlock avoidance in flexible manufacturing systems using Petri net models","volume":"6","author":"Viswanadham","year":"1990","journal-title":"IEEE Transactions on Robotics and Automation"},{"key":"2026033114224852200_ref159","doi-asserted-by":"crossref","first-page":"226","DOI":"10.1109\/TSMCA.2011.2159590","article-title":"A method to compute strict minimal siphons in a class of Petri nets based on loop resource subsets","volume":"42","author":"Wang","year":"2012","journal-title":"IEEE Transactions on Systems, Man & Cybernetics \u2013 Part A"},{"key":"2026033114224852200_ref160","article-title":"Gadara: Dynamic deadlock avoidance for multithreaded programs","author":"Wang","year":"2008","journal-title":"Symposium on Operating Systems Design and Implementation"},{"key":"2026033114224852200_ref161","article-title":"The theory of deadlock avoidance via discrete control","author":"Wang","year":"2009","journal-title":"Symposium on Principles of Programming Languages"},{"key":"2026033114224852200_ref162","author":"Wonham","year":"2006"},{"key":"2026033114224852200_ref163","first-page":"64","article-title":"Resource-oriented Petri nets in deadlock avoidance of AGV systems","volume-title":"Proceedings of the International Conference on Robotics and Automation","author":"Wu","year":"2001"},{"key":"2026033114224852200_ref164","doi-asserted-by":"crossref","first-page":"853","DOI":"10.1109\/70.105378","article-title":"Detection of deadlocks in flexible manufacturing cells","volume":"7","author":"Wysk","year":"1991","journal-title":"IEEE Transactions on Robotics and Automation"},{"key":"2026033114224852200_ref165","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1016\/0278-6125(94)90028-0","article-title":"Resolution of deadlocks in flexible manufacturing systems: Avoidance and recovery approaches","volume":"13","author":"Wysk","year":"1994","journal-title":"Journal of Manufacturing Systems"},{"key":"2026033114224852200_ref166","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1109\/9.481550","article-title":"Deadlock avoidance policy for Petri net modeling of flexible manufacturing systems with shared resources","volume":"41","author":"Xing","year":"1996","journal-title":"IEEE Transactions on Automatic Control"},{"key":"2026033114224852200_ref167","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1016\/0005-1098(95)00103-4","article-title":"Feedback control of Petri nets based on place invariants","volume":"32","author":"Yamalidou","year":"1996","journal-title":"Automatica"},{"key":"2026033114224852200_ref168","doi-asserted-by":"crossref","first-page":"1573","DOI":"10.1080\/00207543.2013.807375","article-title":"Robust supervisory control policy for avoiding deadlock in automated manufacturing systems with unreliable resources","volume":"52","author":"Yue","year":"2014","journal-title":"International Journal of Production Research"},{"key":"2026033114224852200_ref169","volume-title":"Deadlock Resolution in ComputerIntegrated Systems","author":"Zhou","year":"2004"}],"container-title":["Foundations and Trends\u00ae in Systems and Control"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.emerald.com\/ftsys\/article-pdf\/4\/1-2\/1\/11148211\/2600000010en.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/www.emerald.com\/ftsys\/article-pdf\/4\/1-2\/1\/11148211\/2600000010en.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T19:00:46Z","timestamp":1777489246000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.emerald.com\/ftsys\/article\/4\/1-2\/1\/1332188\/Logical-Control-of-Complex-Resource-Allocation"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,4,5]]},"references-count":169,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2017,4,5]]}},"URL":"https:\/\/doi.org\/10.1561\/2600000010","relation":{},"ISSN":["2325-6818","2325-6826"],"issn-type":[{"value":"2325-6818","type":"print"},{"value":"2325-6826","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,4,5]]}}}