Abstração do Supervisor para Sistemas com Retrabalho visando a Solução de um Problema de Planejamento

Autômatos de Estados Finitos e a Teoria de Controle Supervisório têm sido usados para modelar e solucionar problemas de escalonamento de tarefas em sistemas de manufatura. Trabalhar com PO-Abstrações do comportamento em malha fechada permite reduzir o universo de busca do problema de planejamento.
No presente trabalho uma extensão do resultado de Vilela and Pena (2016) para o caso em que a abstração do comportamento em malha fechada não é PO-Abstração é proposta. Um procedimento para construir, a partir de uma sequência selecionada por seu desempenho sob algum critério, uma linguagem que seja executável até o final na planta. Esta extensão torna possível o uso de abstrações do comportamento em malha fechada de sistemas que por natureza não são PO-Abstrações. Por último, um exemplo de aplicação é apresentado.