publicações selecionadas capítulo de livro Feasibility Study of the Use of Petri Nets in the Verification of UML Diagrams 2023
