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, no. 4 (janeiro 15, 2026). Acesso em maio 5, 2026. https://conferencias.unifoa.edu.br/tc/article/view/2598.