Gravar e-mail: Redes de Petri en la Automatización de una Máquina Tampográfica de Plásticos