Gravar e-mail: Redes de Petri: una herramienta para la validación de procedimientos