Contribuição ao uso da lógica temporal na especificação de comportamento de sistemas a eventos discretos.
| Ano de defesa: | 1997 |
|---|---|
| Autor(a) principal: | |
| Orientador(a): | |
| Banca de defesa: | |
| Tipo de documento: | Dissertação |
| Tipo de acesso: | Acesso aberto |
| Idioma: | por |
| Instituição de defesa: |
Universidade Federal de Campina Grande
Brasil Centro de Engenharia Elétrica e Informática - CEEI PÓS-GRADUAÇÃO EM ENGENHARIA ELÉTRICA UFCG |
| Programa de Pós-Graduação: |
Não Informado pela instituição
|
| Departamento: |
Não Informado pela instituição
|
| País: |
Não Informado pela instituição
|
| Link de acesso: | http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/10552 |
Resumo: | As redes de Petri têm se tornado uma ferramenta de grande utilidade para modelagem e analise de Sistemas a Eventos Discretos. 0 uso da lógica temporal para a especificação de comportamentos de modelos de SEDs e, aqui, introduzido, desde que esta e uma ferramenta de alta abrangência, substituindo a utilização das linguagens formais, na busca da solução da síntese do supervisor. A principal classe de redes de Petri utilizada para a modelagem neste trabalho, são as Redes de Petri com Função de Habilitação de Transições, que apresentam funções lógicas em suas transições, que geram uma sequência desejada, para servir como supervisor, o qual deve possuir a mesma estrutura do modelo do sistema a ser controlado. |