USO DE REDES DE PETRI PARA CONTROLE DE SEMÁFOROS. REMUNOM. 2023;4(1). Acesso em julho 11, 2025. https://remunom.ojsbr.com/multidisciplinar/article/view/1280