Um método para simular e verificar redes de petri aninhadas - Lugoboni, Gustavo Borges (2021)
Coordenação de Aperfeiçoamento de Pessoal de Nivel Superior