Behaviorally Optimal and Structurally Simple Liveness-Enforcing Supervisors of Flexible Manufacturing Systems | IEEE Journals & Magazine | IEEE Xplore