A Minimally Restrictive Policy for Deadlock Avoidance in a Class of FMS

Abstract

In recent years, the scheduling and control of Flexible Manufacturing Systems (FMS) has received considerable attention. Due to complexity considerations, heuristic solutions are often the norm for real-time scheduling and implementation of FMS control activities. However, heuristic solutions often lack consideration of overall system implications, and various practical difficulties may arise in the control of unmanned FMS.

The purpose of this research is to address deadlock situations that may arise in unmanned FMS. Petri nets are used to model the sequencing of material through the workstations and the limited capacity of resources available in the FMS. The model is then used for defining restriction policies (i.e., policies that disallow some of the options of the real-time resource allocation strategy) for deadlock avoidance. We propose an on-line restriction policy that avoids deadlock situations, while enabling completion of all active jobs in the FMS. The proposed algorithm is minimally restrictive and suitable for real-time implementation.

This work was supported by the fonds national suisse de la recherche scientifique