Liveness-enforcing supervisor design for a class of generalised petri net models of flexible manufacturing systemsZheng Li, Mi Zhao, Jia Zhang|IET Control Theory and Applications|2007Cited by 65