A deadlock avoidance strategy for knowledgeable manufacturing systems

Abstract

Deadlock is a highly unfavourable situation in manufacturing systems, and the development of a deadlock-avoidance policy for resource allocation has received significant attention. Based on finite automata theory, the concept of a distributed deadlock supervisor is proposed to avoid deadlock in knowledgeable manufacturing cell. The proposed approach is insensitive to system scale and improves the efficiency of the modelling and operation of automata. The auto-correlation operation is presented, and the knowledgeable manufacturing cell is divided into a number of submodules, and the corresponding distributed deadlock supervisors are constructed. A state backtrack algorithm is given to ensure full reachability of deadlock supervisor, and thus a deadlock-free strategy for the knowledgeable manufacturing cell is obtained. This can be used to monitor the status of the knowledge manufacturing cell in real-time and guarantees deadlock-free running of the system. A case study is presented to demonstrate the feasibility and effectiveness of the proposed strategy.