Robustness of deadlock avoidance algorithms for sequential processes.

DOI10.1016/S0005-1098(03)00176-6MaRDI QIDQ1413928zbMATH OpenOpenAlexFDO

Authors Fu-Shiung Hsieh

Publication date 17 November 2003

Published in Automatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0005-1098(03)00176-6

zbMATH Keywords

AlgorithmsRobustnessFlexible manufacturing systemsDeadlock

Mathematics Subject Classification ID

Approximation algorithms (68W25) Production models (90B30) Discrete event control/observation systems (93C65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Algorithms for deadlock avoidance and reversibility enforcement in discrete event systems
• Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings
• Revisiting deadlock prevention: a probabilistic approach
• On the optimality of randomized deadlock avoidance policies
• scientific article; zbMATH DE number 4056989
• A distributed deadlock detection and resolution algorithm and its correctness proof
• Generalized Algebraic Deadlock Avoidance Policies for Sequential Resource Allocation Systems

Cites work

• A review of synthesis techniques for Petri nets with applications to automated manufacturing systems
• Polynomial-complexity deadlock avoidance policies for sequential resource allocation systems

Cited in

(13)

• Polynomial-complexity robust deadlock controllers for a class of automated manufacturing systems with unreliable resources using Petri nets
• Two-stage design method of robust deadlock control for automated manufacturing systems with a type of unreliable resources
• Robustness analysis of Petri nets for assembly/disassembly processes with unreliable resources
• Evaluating order of circuits for deadlock avoidance in a flexible manufacturing system
• A survey of siphons in Petri nets
• Robust deadlock control for automated manufacturing systems with an unreliable resource
• Robustness analysis of non-ordinary Petri nets for flexible assembly systems
• Algorithms for deadlock avoidance and reversibility enforcement in discrete event systems
• Robustness analysis of non-ordinary Petri nets for flexible assembly/disassembly processes based on structural decomposition
• Liveness enforcing supervisory policies tolerant to controllability failures for discrete-event systems modeled by Petri nets
• Control of deadlock and blocking for production systems with unreliable workstations
• Robustness of deadlock control for a class of Petri nets with unreliable resources
• scientific article; zbMATH DE number 4119636 (Why is no real title available?)

This page was built for publication: Robustness of deadlock avoidance algorithms for sequential processes.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1413928)