Amadeu Souza V. 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. tudoeciencia [Internet]. 15º de janeiro de 2026 [citado 5º de maio de 2026];(4). Disponível em: https://conferencias.unifoa.edu.br/tc/article/view/2598