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, [S. l.], n. 4, 2026. DOI: 10.47385/tudoeciencia.2598.2025. Disponível em: https://conferencias.unifoa.edu.br/tc/article/view/2598. Acesso em: 5 maio. 2026.