Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints