DESIGN AND IMPLEMENTATION OF DEADLOCK CONTROL FOR AUTOMATED MANUFACTURING SYSTEMS
Petri nets are robust mathematical tools for the modelling, handling, and control of deadlock problems in automated manufacturing Lipstick systems (AMSs).Several methods have been proposed to prevent deadlocks in AMSs.However, it is important to convert the controlled system represented by Petri nets into the program of a programmable logic control