publicações Um método para particionamento de redes de semáforos em subáreas de controle de tráfego utilizando técnicas de grafos. Documento