Text this: Design of Maximally Permissive Controllers for Solving Deadlock Problems in Flexible Manufacturing Systems