USO DE REDES DE PETRI PARA CONTROLE DE SEMÁFOROS

Resumo

Analisar e pesquisar o trânsito em centros urbanos é algo em constante crescimento devido aos congestionamentos em vias públicas, os quais vem se tornando um problema considerável para a gestão do tráfego. Nesse contexto, a utilização de simuladores computacionais para auxilio ao planejamento da mobilidade urbana é vem aumentando. Diante disso, esse trabalho tem como objetivo apresentar um tutorial para modelar e controlar os semáforos presentes em um cruzamento, através das Redes de Petri (RP). Essa escolha ocorreu porque tais redes são capazes de descrever o comportamento dinâmico das luzes pertencentes a cada semáforo, devido sua natureza discreta. Outra justificativa é a potencial aplicação prática das RP. Como resultado, foram evidenciados os procedimentos para a elaboração da modelagem e do controle dos semáforos, podendo ser utilizado por outros pesquisadores como um tutorial para aplicação dessa técnica e como base para novas pesquisas sobre o tema. Além disso, a Rede de Petri obtida após as pesquisas foi incorporada no ambiente computacional HPSim, onde foi testado seu funcionamento.