Describir: Propuesta de una metodología de programación de operaciones detallada para órdenes de trabajo en operaciones secuenciales a través de algoritmos heurísticos basados en lógica proposicional articulados sobre una serie de autómatas programables