Amadeu Souza, V. (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, (4). doi: 10.47385/tudoeciencia.2598.2025.