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.ealisboa.com/top-save-RE-DESIGNED-Strikketoy-oppbevaring-Prosjekt-27-Sort-100-Skinn-great-save/