Gravar-mail: Feasibility study of the use of petri nets in the verification of UML diagrams