On simplified liveness-enforcing Petri net supervisors for FMS

LI Zhi-wu;XU Ping-jiang;ZHU Rong-ming;WANG Xing-ping
J4 . 2006, (3): 442 -447 .