Please use this identifier to cite or link to this item:
http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/10552
Title: | Contribuição ao uso da lógica temporal na especificação de comportamento de sistemas a eventos discretos. |
Other Titles: | Contribution to the use of temporal logic in specifying discrete event systems behavior. |
???metadata.dc.creator???: | COSTA, Eduard Montgomery Meira. |
???metadata.dc.contributor.advisor1???: | LIMA, Antonio Marcus Nogueira. |
???metadata.dc.contributor.referee1???: | PERKUSICH, Angelo. |
???metadata.dc.contributor.referee2???: | MENDES, Rafael Santos. |
Issue Date: | 24-Oct-1997 |
Publisher: | Universidade Federal de Campina Grande |
Citation: | COSTA, Eduard Montgomery Meira. Contribuição ao uso lógica temporal na especificação de comportamento de sistemas à eventos discretos. 1997. 93f. (Dissertação de Mestrado em Engenharia Elétrica), Curso de Pós-Graduação em Engenharia Elétrica, Centro de Ciências e Tecnologia, Universidade Federal da Paraíba – Campus II - Campina Grande - PB - Brasil, 1997. |
???metadata.dc.description.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. |
Abstract: | P e t r i nets are a tool of great u t i l i t y for modeling and analysis of Discrete Event Systems (DES). The use of the temporal logic to the behavior's specification of DES's models is, here, introduced, since that is a high cover tool, s u b s t i t u t i n g the u t i l i z a t i o n of the formal languages, in the search of the supervisor's synthesis. The main class of P e t r i nets used used to the supervisor's modeling i n this work, are the P e t r i nets w i th Transitions Enabling Function, that presents logic functions i n its transitions, that generate a desired sequence, t o serve as supervisor, that must have the same s t r u c t u re of system's model to be controlled. |
URI: | http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/10552 |
Appears in Collections: | Mestrado em Engenharia Elétrica. |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
EDUARD MONTGOMERY MEIRA COSTA - DISSERTAÇÃO PPGEE 1997.pdf | Eduard Montgomery Meira Costa - Dissertação PPGEE 1997 | 14.18 MB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.