USO DE REDES DE PETRI PARA CONTROLE DE SEMÁFOROS. REMUNOM 2023, 4 (1).