Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings
From MaRDI portal
Publication:4540213
DOI10.1109/9.956052zbMath1045.93034OpenAlexW2099550549MaRDI 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
Mixed integer programming (90C11) Discrete event control/observation systems (93C65) Discrete location and assignment (90B80) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Resource and cost allocation (including fair division, apportionment, etc.) (91B32)
Related Items (42)
On liveness and boundedness of asymmetric choice nets ⋮ An iterative method for synthesizing non-blocking supervisors for a class of generalized Petri nets using mathematical programming ⋮ Supervision based on place invariants: a survey ⋮ Concurrency bugs in multithreaded software: modeling and analysis using Petri nets ⋮ On structural minimality of optimal supervisors for flexible manufacturing systems ⋮ Design of Optimal Petri Net Supervisors for Flexible Manufacturing Systems via Weighted Inhibitor Arcs ⋮ Robustness of deadlock control for a class of Petri nets with unreliable resources ⋮ Deadlock prevention policy with behavioral optimality or suboptimality achieved by the redundancy identification of constraints and the rearrangement of monitors ⋮ Robustness analysis of non-ordinary Petri nets for flexible assembly/disassembly processes based on structural decomposition ⋮ Structure reduction of liveness‐enforcing Petri nets using mixed integer programming ⋮ Robust deadlock control of automated manufacturing systems with multiple unreliable resources ⋮ Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems ⋮ 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 ⋮ A deadlock prevention approach for flexible manufacturing systems with uncontrollable transitions in their Petri net models ⋮ Liveness of an extended S\(^{3}\)PR ⋮ Robustness analysis of non-ordinary Petri nets for flexible assembly systems ⋮ Polynomial-complexity robust deadlock controllers for a class of automated manufacturing systems with unreliable resources using Petri nets ⋮ On deadlock control for a class of generalised Petri net models of flexible manufacturing systems ⋮ Elementary-Siphon-Based Control Policy for Flexible Manufacturing Systems with Partial Observability and Controllability of Transitions ⋮ New Controllability Condition for Siphons in Ws3PR Nets ⋮ Liveness-enforcing supervisors synthesis for a class of generalised Petri nets based on two-stage deadlock control and mathematical programming ⋮ 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 ⋮ Suboptimal liveness-enforcing supervisor design for a class of generalised Petri nets using partial siphon enumeration and mathematical programming ⋮ Deciding the liveness for a subclass of weighted Petri nets based on structurally circular wait ⋮ Resource Allocation Systems: Some Complexity Results on the S4PR Class ⋮ 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 ⋮ A modular control design method for a flexible manufacturing cell including error handling ⋮ 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 ⋮ Deadlock and liveness characterization for a class of generalized Petri nets ⋮ Mixed integer programming-based liveness test for FMS with full routing flexibility ⋮ Necessary and sufficient liveness condition of GS3PR Petri nets ⋮ Multi-agent negotiation strategies utilizing heuristics for the flow of AGVs ⋮ A deadlock control algorithm using control transitions for flexible manufacturing systems modelling with Petri nets ⋮ Control of safe ordinary Petri nets using unfolding
This page was built for publication: Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings
