Envoyer par SMS: Consideraciones para el modelado de sistemas mediante redes de Petri