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