Design of Liveness-Enforcing Supervisors for Flexible Manufacturing Systems Using Petri Nets. - Z. W. Li; H. S. Hu; An R. Wang (IEEE Trans. Syst. Man Cybern. Part C, 2007)