Este trabalho irá mostrar a modelagem e controle de semáforos em dois cruzamentos por meio de técnicas para sistemas a eventos discretos e Redes de Petri. Serão apresentados os conceitos preliminares úteis para o entendimento como o que significa Rede de Petri e quais são suas características. Será mostrado o problema de controle, que é o cruzamento em si. As etapas para elaboração do controlador serão: Modelagem Individual dos Semáforos, Cálculo do Controlador e Obtenção do Modelo Controlado, sendo que estas serão individualmente descritas. Finalmente será feita a simulação do controlador projetado evidenciando as conclusões obtidas.
