Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings
From MaRDI portal
Publication:4540213
DOI10.1109/9.956052zbMath1045.93034MaRDI QIDQ4540213
Jonghun Park, Spyros A. Reveliotis
Publication date: 21 July 2002
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/9.956052
90C11: Mixed integer programming
93C65: Discrete event control/observation systems
90B80: Discrete location and assignment
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
91B32: Resource and cost allocation (including fair division, apportionment, etc.)
Related Items
Design of Optimal Petri Net Supervisors for Flexible Manufacturing Systems via Weighted Inhibitor Arcs, Robustness analysis of non-ordinary Petri nets for flexible assembly systems, A deadlock control algorithm using control transitions for flexible manufacturing systems modelling with Petri nets, Maximally Permissive Petri Net Supervisors for Flexible Manufacturing Systems with Uncontrollable and Unobservable Transitions, Extended Elementary Siphons and Their Application to Liveness‐Enforcement of Generalized <scp>P</scp>etri Nets, Necessary and sufficient liveness condition of GS3PR Petri nets, Structure reduction of liveness‐enforcing Petri nets using mixed integer programming, A deadlock prevention approach for flexible manufacturing systems with uncontrollable transitions in their Petri net models, On structural minimality of optimal supervisors for flexible manufacturing systems, Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems, Deadlock and liveness characterization for a class of generalized Petri nets, Control of safe ordinary Petri nets using unfolding, Supervision based on place invariants: a survey, Liveness of an extended S\(^{3}\)PR, A modular control design method for a flexible manufacturing cell including error handling, Deadlock prevention policy with behavioral optimality or suboptimality achieved by the redundancy identification of constraints and the rearrangement of monitors, On liveness and boundedness of asymmetric choice nets, Robust deadlock control of automated manufacturing systems with multiple unreliable resources, Polynomial-complexity robust deadlock controllers for a class of automated manufacturing systems with unreliable resources using Petri nets, Editorial: Deadlock analysis and control in resource allocation systems, A novel method for deadlock prevention of AMS by using resource-oriented Petri nets, Complexity of the deadlock problem for Petri nets modeling resource allocation systems, A survey of siphons in Petri nets, Think-globally-act-locally approach with weighted arcs to the synthesis of a liveness-enforcing supervisor for generalized Petri nets modeling FMSs, Deadlock recovery for flexible manufacturing systems modeled with Petri nets, Petri net representation and reachability analysis of 0--1 integer linear programming problems, Computation of strict minimal siphons in a class of Petri nets based on problem decomposition, An efficient siphon-based deadlock prevention policy for a class of generalized Petri nets, A multistep look-ahead deadlock avoidance policy for automated manufacturing systems, Mixed integer programming-based liveness test for FMS with full routing flexibility, An iterative method for synthesizing non-blocking supervisors for a class of generalized Petri nets using mathematical programming, Concurrency bugs in multithreaded software: modeling and analysis using Petri nets, Robustness of deadlock control for a class of Petri nets with unreliable resources, Elementary-Siphon-Based Control Policy for Flexible Manufacturing Systems with Partial Observability and Controllability of Transitions, New Controllability Condition for Siphons in Ws3PR Nets, Deciding the liveness for a subclass of weighted Petri nets based on structurally circular wait, Robustness analysis of non-ordinary Petri nets for flexible assembly/disassembly processes based on structural decomposition, On deadlock control for a class of generalised Petri net models of flexible manufacturing systems, Liveness-enforcing supervisors synthesis for a class of generalised Petri nets based on two-stage deadlock control and mathematical programming, Suboptimal liveness-enforcing supervisor design for a class of generalised Petri nets using partial siphon enumeration and mathematical programming, Multi-agent negotiation strategies utilizing heuristics for the flow of AGVs, Resource Allocation Systems: Some Complexity Results on the S4PR Class
