Data/hora: 28/05/2024 03:53:29

Biblioteca(s): | Embrapa Agricultura Digital.
Data corrente: | 27/06/1996
Data da última atualização: | 17/08/2007
Autoria: | MACIEL, P. R. M.; CASTRO, J. F. B.
Título: | Uso de redes de Petri e TCL para o diagnostico de sistemas de controle industrial.
Ano de publicação: | 1994
Fonte/Imprenta: | In: SEMINÁRIO INTEGRADO DE SOFTWARE E HARDWARE, 21., 1994, Caxambu. Anais... Belo Horizonte: UFMG, 1994.
Páginas: | p.613-627
Idioma: | Português
Conteúdo: | Este trabalho apresenta um sistema de diagnostico de falhas, "OFF-LINE" e uma metodologia de especificacao para sistemas de controle sequencial. O sistema de diagnostico e composto, principalmente, por um jogador de rede de Petri (simulador) e por um modulo de diagnostico. A partir da descricao do sistema por rede de Petri e de um vetor caracteristico que representa o sintoma observado, o diagnosticador fornece as possiveis causas de falha do sistema analisado. Logica temporal causal pode ser utilizada para descrever os aspectos temporais do sistema. O processo de modelagem dos sistemas de controle sequencial parte da descricao comportamental de cada componente, atraves de regras operacionais. A partir das regras operacionais, sao construidas as redes de Petri elementares que modelam cada componente do sistema. A rede de Petri global e obtida pela tecnica de fusao de "lugares" comuns das redes elementares. Este processo garante a preservacao das propriedades das redes elementares no modelo global. O diagnosticador foi idealizado para ser alocado em um setor de manutencao de um ambiente industrial, onde os modulos de controle dos equipamentos serao descritos por redes de Petri. Na ocorrencia de um defeito, o operador forneceria o sintoma observado para a equipe de manutencao, que, atraves do diagnosticador, saaberia, rapidamente, quais as providencias a serem tomadas.
Categoria do assunto: | --
Registro original: | Embrapa Agricultura Digital (CNPTIA)
Exemplares: | CNPTIA - (3399-1) - ADD - PL - -- - 004 - SEM - 1996.00003 - DIS