Obtenção de uma Rede de Petri interpretada para controle para uma célula de manufatura

Uma Rede de Petri pode modelar tanto o comportamento natural de um SED a ser controlado; como também é capaz de modelar o comportamento controlado desejado do mesmo. É possível ainda modelar apenas a lógica de controle, utilizando as chamadas Redes de Petri interpretadas para controle, que pode ser implementada em um controlador Lógico Programável (CLP) utilizando alguma linguagem de programação, como o diagrama Ladder[1]por exemplo. Atualmente ainda não existe uma forma, ferramenta ou método, que, a partir da Rede de Petri rotulada que descreve o comportamento desejado do sistema em malha fechada, se possa chegar a uma Rede de Petri Interpretada para o Controle (RPIC) que possa modelar o controlador a eventos discretos. Os engenheiros de controle, em sua grande maioria, constroem diretamente a rede interpretada para controle, o que é trabalhoso e passível de diversas tentativas e erros até se chegar a um resultado satisfatório. Uma forma com menos tentativas se dá ao construir a Rede de Petri rotulada com o comportamento controlado desejado e a partir dela, intuitivamente, construir a rede interpretada para controle. O objetivo deste trabalho é desenvolver uma forma para a obtenção de uma Rede de Petri Interpretada para Controle, a partir de uma Rede de Petri rotulada. O caso em estudo será um sistema específico composto de duas esteiras e um braço robótico