V. Amadeu Souza, “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, nº 4, jan. 2026.