publicações selecionadas capítulo de livro Feasibility Study of the Use of Petri Nets in the Verification of UML Diagrams 2023 teses Verificação de diagramas UML utilizando redes de Petri 2023
