Comments on 'Maximally permissive supervisor synthesis based on a new constraint transformation method'

Shouguang Wang, Jing Yang, Mengchu Zhou

Luo et al. proposed a new method to design the maximally permissive and efficient supervisor for enforcing linear constraints on an ordinary Petri net with uncontrollable transitio…