PETRI NETS CONTROLLERS TO ENFORCE DISJUNCTION OF GMEC