An approach to enforce disjunction of GMECs on controlled Petri Nets.

Francesco Basile, Ciro Carbone, Pasquale Chiacchio

Browse the full SMC paper archive.