Este trabalho apresenta a prova matemática do método para a síntese de supervisores denominado Restrição de Controle sobre Cores Decompostas, o qual é baseado nos conceitos da Teoria de Controle Supervisório, utilizando como principal ferramenta as redes de Petri coloridas para modelar sistemas de eventos discretos, a fim de encontrar supervisores que satisfaçam esses sistemas sujeitos a restrições. Por extensão, é proposto um método para reduzir o número de controladores denominado Fusão de Controladores.
Controle supervisório; rede de Petri colorida; sistemas a eventos discretos