Made available in DSpace on 2016-08-29T15:32:24Z (GMT). No. of bitstreams: 1 tese_2353_DissertacaoMestradoPauloAndreSparandioGiacomin.pdf: 3330627 bytes, checksum: 239c168d8d41c4d4cc2ceca0ab28a389 (MD5) Previous issue date: 2005-11-04 / 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.