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 (jan. 2026). DOI:https://doi.org/10.47385/tudoeciencia.2598.2025.