BARROSO, G. C.; http://lattes.cnpq.br/1218783106447217; BARROSO, Giovanni Cordeiro. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM ENGENHARIA ELÉTRICAUFCGUniversidade Federal de Campina Grande, 1996-08-28)
Petri nets have been widely used to specifying, designing, analyzing and controlling discrete
event systems. In the same way, the supervisory control theory, together with Petri
nets, has been used to solve the supervisors ...