Reis, J. F. dos; Silva, R. J. da; Silva, G. G. da . USO DE REDES DE PETRI PARA CONTROLE DE SEMÁFOROS. RMNM 2023, 4.