ABSTRACT
Modeling assumptions and techniques can have a great impact on the dead lock problem. This chapter shows how the use of appropriate model design meth ods can yield more compact models and reduce the number of deadlock states, thus simplifying both the analysis and search for deadlocks and the deadlock prevention/avoidance. Also, when it finally comes to applying deadlock avoidance algorithms, there is no practical aid for the designer in choosing the most appro priate method for the problem at hand. A basis for a comparative performance analysis of these algorithms is proposed here. Their application to a simulated flexible manufacturing system (FMS) example is studied in detail for the purpose of algorithm evaluation and comparison.