Amadeu Souza, Vitor. “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”. Tudo é Ciência: Congresso Brasileiro De Ciências E Saberes Multidisciplinares, nº 4, janeiro de 2026, doi:10.47385/tudoeciencia.2598.2025.