Lida Dong, Weimin Wu, Hongye Su, Weijie Mao, Jian Chu, Xiao Wang. An extension of the linear integer program approach for controller synthesis of DES modeled by Petri nets. In 41st IEEE Conference on Decision and Control, CDC 2002, Las Vegas, NV, USA, December 10-13, 2002. pages 3579-3584, IEEE, 2002. [doi]
Abstract is missing.