An extension of the linear integer program approach for controller synthesis of DES modeled by Petri nets | IEEE Conference Publication | IEEE Xplore