On the Existence of a Maximally Permissive Liveness-enforcing Petri Net Supervisor for Flexible Manufacturing Systems | IEEE Conference Publication | IEEE Xplore