I. Introduction
The Supervisory Control Theory (SCT) deals with the problem of finding a structure called supervisor that limits the system in such a way that only the safe behavior is allowed. This supervisor, usually represented by an automaton, can be large, which, on one hand limits the size of the systems in which the SCT can be applied and, on the other hand, limits the type of hardware that can implement the supervisor logic.