Design of Liveness-Enforcing Supervisors for Flexible Manufacturing Systems Using Petri Nets | IEEE Journals & Magazine | IEEE Xplore