Uma abordagem para a síntese de supervisores de sistemas a eventos discretos a partir de modelo temporizado.

Abstract

This work deals with the synthesis of the supervisors for discrete events systems. The proposed approach combines the supervisory control theory and Petri nets. In order to achieve the supervisor synthesis an algorithm for enumerating the state space and another to determine the transition enabling functions of the Petri net that represents the discrete event system are employed. The Petri net that models the behavior of the discrete event system includes the timming of the tasks to be executed by the system. In order to take into account the timmed models an algorithm for constructing the state space of the model has been developed and a new extension of Petri net is introduced to represent the supervisor. The work also presents an algorithm to convert the supervisor issued from the synthesis procedure into a program to be executed in a programmable logic controller. The usefulness of the proposed methodology is demonstrated by its application to synthesize the supervisors for various typical manufacturing systems.