A Study of Deadlock Avoidance Strategy in Knowledgeable Manufacturing Systems

Based on the finite automata theory, a thinking of distributed deadlock supervisor is proposed to avoid deadlock in Knowledgeable Manufacturing Systems, which is insensitive to system size and improves the efficiency of automata modeling and operating. The conception of the auto-correlation operation is presented, then the corresponding distributed deadlock supervisors are constructed, and thus the deadlock-free strategy of the knowledgeable manufacturing cell is obtained, which can be used to monitor status of the knowledge manufacturing cell in real-time and guarantees safe running of the system. Finally, a case study is presented to demonstrate the feasibility and effectiveness of the proposed strategy.