Um Metodo Interativo de Recuperacao de Diagramas Grafcet e de Dados a partir deDiagramas Ladder Usando Diagramas...

Apresentamos neste trabalho um novo método de recuperação de diagramas grafcet e de estados a partir de diagramas ladder. Um método iterativo é proposto. Nenhuma modelagem preliminar da planta é necessária, todas as possibilidades de sequenciamento são detectadas e não é necessário descrever toda a planta. O diagrama ladder é representado através de um conjunto de BDDs, com os quais descobrimos as expressões de ativação e desativação de cada malha do diagrama ladder. A seguir é feita uma análise do diagrama ladder em busca de possíveis eventos de transição. Uma interface gráfica é utilizada para que o especialista confirme os eventos de transição que ocorrem na planta. No final, o diagrama de estados do diagrama grafcet equivalentes ao diagrama ladder são apresentados ao usuário através de uma interface gráfica