Discussion on supervisory control by solving automata equations