Supervisor Synthesis for Enforcing a Class of Generalized Mutual Exclusion Constraints on Petri Nets | IEEE Journals & Magazine | IEEE Xplore