Control Algorithm Using a Revised MIP Method to Deal with Livelocks in S4R of Petri Nets
LI Shaoyong* (李绍勇), WU Zongli (吴宗礼), LI Hailin (李海林), WEI Xianhong (魏先宏), CAI Ying (蔡颖), HOU Caiqin (厚彩琴)
Journal of Shanghai Jiao Tong University (Science) . 2019, (2): 190 -195 .  DOI: 10.1007/s12204-018-2014-x