Amadeu Souza, Vitor. 2026. “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). https://doi.org/10.47385/tudoeciencia.2598.2025.