Control restrictions on decomposed colors: an approach for supervisory control of discrete event systems using colored Petri nets

摘要

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.