Neste trabalho é proposto um conjunto de procedimentos que verifica a possibilidade de conversão de Redes de Petri interpretas para o SFC, uma linguagem de alto nível do padrão IEC 61131-3, além de um método que realiza a conversão caso seja possível. A validação do mesmo é realizado através do CLP que controla a célula didática de manufatura CIM-B e do HPSim, ferramenta de edição e simulação de Redes de Petri.