A Think-Globally-Act-Locally-Based Method of Maximally Permissive Liveness-Enforcing Supervisors for Flexible Manufacturing Systems ⋆ | Synapse