Resumen
La obtención de una automatización integral de procesos de producción debe tener en cuenta diferentes aspectos, como el proceso mismo, la estructura organizativa de la empresa, los recursos y la gestión del negocio. Para alcanzar un sistema integrado que maneje los distintos aspectos es necesario disponer de modelos de comportamiento que permitan evidenciar el conocimiento de los procesos del negocio y la supervisión de este. En el presente artículo se exponen los resultados del modelado dinámico del proceso de trazabilidad de producto con redes de Petri para WorkFlow (WF-Net)