Comments on "Maximally Permissive Supervisor Synthesis Based on a New Constraint Transformation Method"