An approach to enforce disjunction of GMECs on controlled Petri Nets | IEEE Conference Publication | IEEE Xplore