Please use this identifier to cite or link to this item:
http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/10552
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.creator.ID | COSTA, E. M. M. | pt_BR |
dc.creator.Lattes | http://lattes.cnpq.br/4564540584894585 | pt_BR |
dc.contributor.advisor1 | LIMA, Antonio Marcus Nogueira. | - |
dc.contributor.advisor1ID | LIMA, A. M. N. | pt_BR |
dc.contributor.advisor1Lattes | http://lattes.cnpq.br/2237395961717699 | pt_BR |
dc.contributor.referee1 | PERKUSICH, Angelo. | - |
dc.contributor.referee2 | MENDES, Rafael Santos. | - |
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. | pt_BR |
dc.publisher.country | Brasil | pt_BR |
dc.publisher.department | Centro de Engenharia Elétrica e Informática - CEEI | pt_BR |
dc.publisher.program | PÓS-GRADUAÇÃO EM ENGENHARIA ELÉTRICA | pt_BR |
dc.publisher.initials | UFCG | pt_BR |
dc.title | Contribuição ao uso da lógica temporal na especificação de comportamento de sistemas a eventos discretos. | pt_BR |
dc.date.issued | 1997-10-24 | - |
dc.description.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. | pt_BR |
dc.identifier.uri | http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/10552 | - |
dc.date.accessioned | 2019-12-30T13:58:19Z | - |
dc.date.available | 2019-12-30 | - |
dc.date.available | 2019-12-30T13:58:19Z | - |
dc.type | Dissertação | pt_BR |
dc.rights | Acesso Aberto | pt_BR |
dc.creator | COSTA, Eduard Montgomery Meira. | - |
dc.publisher | Universidade Federal de Campina Grande | pt_BR |
dc.language | por | pt_BR |
dc.title.alternative | Contribution to the use of temporal logic in specifying discrete event systems behavior. | pt_BR |
dc.identifier.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. | pt_BR |
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.