Enviar por SMS: Feasibility study of the use of petri nets in the verification of UML diagrams