Restri？？es de controle sobre cores decompostas: uma proposta no controle supervisório de sistemas a eventos discretos utilizando redes de Petri coloridas

this paper presents the mathematical proof of the method for the synthesis of supervisors called constraint of control on decomposed colors, which is based on concepts of supervisory control theory, using as main tool the coloured petri nets to model systems discrete event, in order to find supervisors that meet those systems subject to constraints. by extension, it is proposed a method to reduce the number of controllers called fusion of controllers.