Enviar por SMS: Verificação de diagramas UML utilizando redes de Petri