Petri net controllers for disjunctive Generalized Mutual Exclusion Constraints | IEEE Conference Publication | IEEE Xplore