Gravar e-mail: Redes de Petri: Modelado e implementación de algoritmos para autómatas programables