Deadlock avoidance in flexible flow shops with loops

摘要

This paper presents a deadlock-avoidance scheme that was developed during the MASCADA Project - Esprit LTR Project 22728. The deadlock problem occurs in a car body painting shop. From this application, an abstract problem was derived for which a deadlock-avoidance method was developed. The paper presents the deadlock-avoidance scheme and its correctness proof. In addition, implementation issues are introduced and solutions are discussed.