An improved think-globally-act-locally (ITGAL) method is proposed in this paper for the computation of a liveness enforcing/deadlock prevention supervisor containing of a set control places (CPs) for a Petri net (PN) model of a flexible manufacturing system (FMS) suffering from deadlocks. The proposed method is especially suitable for generalized PN classes containing weighted arcs su... https://www.bekindtopets.com/