Application of Petri net based deadlock prevention method to a real spectacles production system

Designing deadlock prevention controllers for flexible manufacturing systems (FMS) is of theoretical and practical importance. This paper extends the basic idea of our recently proposed deadlock prevention method to a real spectacle production system, a typical FMS. First of all, this real system is modeled and analyzed by Petri net (PN). Then, we apply our recently proposed method to design the deadlock prevention PN-based controller for this real system. The finally obtained controller is deadlock-free and maximally permissive.