selected publications chapter Feasibility Study of the Use of Petri Nets in the Verification of UML Diagrams. 29-38. 2023
