Enviar Registro por Correo electrónico: Application and theory of petri nets and concurrency :