Amadeu Souza, V. Modelagem E simulação De Sistemas De Controle semafórico Utilizando Redes De Petri: Uma Abordagem Computacional Para análise De Sistemas dinâmicos Discretos. tudoeciencia 2026.