Think-globally-act-locally approach with weighted arcs to the synthesis of a liveness-enforcing supervisor for generalized Petri nets modeling FMSs
A new method is proposed for the synthesis of LES in FMS modeled with generalized classes of Petri nets. The proposed method is called think globally act locally method with weighted arcs (TGALW). The TGALW method is easy to use and provides very high behavioral permissiveness. The applicability and the effectiveness of the TGALW method to realistic systems is shown.
petri net discrete event system flexible manufacturing system deadlock liveness enforcing