PROPUESTA DE UN PROCEDIMIENTO PARA LA AUTOMATIZACIÓN DE UN PROCESO INDUSTRIAL USANDO REDES DE PETRI COMO UNA HERRAMIENTA FORMAL