Journal ArticleDOI
Deadlock Prediction: Easy and Difficult Cases
TLDR
The subject of this paper is the computational complexity of the deadlock prediction problem for resource allocation, which is the question “Is deadlock avoidable?”Abstract:
The subject of this paper is the computational complexity of the deadlock prediction problem for resource allocation. This problem is the question “Is deadlock avoidable?” i.e. “Is there a feasible sequence in which to allocate all the resource requests?” given the current status of a resource allocation system. This status is defined by (1) the resource vector held by the banker, i.e. the quantity of resources presently available for allocation, and (2) the resource requests of the processes: Each process is required to make a termination request of the form “Give me resource vector y and I will eventually terminate and return resource vector z.” Also, each process can make any number of partial requests of the form “If you can’t give me y, then give me a smaller resource vector $y'$ and I will be able to reach a point at which I can halt and temporarily return to $z'$, although I will still need need $y - y' + z'$ to terminate.”If (1) the resources are reusable and (2) partial requests are not allowed, ...read more
Citations
More filters
Journal ArticleDOI
The NP-completeness column: An ongoing guide
TL;DR: This is the fourteenth edition of a quarterly column that provides continuing coverage of new developments in the theory of NP-completeness, and readers who have results they would like mentioned (NP-hardness, PSPACE- hardness, polynomialtime-solvability, etc.), or open problems they wouldlike publicized, should send them to David S. Johnson.
Journal ArticleDOI
Measurement and correction of systematic odometry errors in mobile robots
Johann Borenstein,Liqiang Feng +1 more
TL;DR: Experimental results are presented that show a consistent improvement of at least one order of magnitude in odometric accuracy (with respect to systematic errors) for a mobile robot calibrated with the method described.
Journal ArticleDOI
Deadlock control methods in automated manufacturing systems
Maria Pia Fanti,MengChu Zhou +1 more
TL;DR: This paper intends to present a tutorial survey of state-of-the art modeling and deadlock control methods for discrete manufacturing systems and presents the updated results in the areas of deadlock prevention, detection and recovery, and avoidance.
Journal ArticleDOI
Deadlock Control of Automated Manufacturing Systems Based on Petri Nets—A Literature Review
Zhiwu Li,Naiqi Wu,MengChu Zhou +2 more
TL;DR: This study surveys the state-of-the-art deadlock-control strategies for automated manufacturing systems by reviewing the principles and techniques that are involved in preventing, avoiding, and detecting deadlocks.
Journal ArticleDOI
A Survey and Comparison of Petri Net-Based Deadlock Prevention Policies for Flexible Manufacturing Systems
Zhiwu Li,MengChu Zhou,Naiqi Wu +2 more
TL;DR: This paper intends to review and compare a variety of Petri net-based deadlock prevention policies reported in the literature in terms of structural complexity, behavior permissiveness, and computational complexity to facilitate engineers in choosing a suited method for their industrial application cases.