selected publications chapter Feasibility Study of the Use of Petri Nets in the Verification of UML Diagrams. 29-38. 2023 thesis Verificação de diagramas UML utilizando redes de Petri 2023
