Mostrar el registro sencillo del ítem
Uma tradução de redes de Petri Fuzzy generalizadas para gramáticas de grafos com atributos
dc.creator | Vieira, Júlia Krüger | |
dc.date.accessioned | 2021-04-08T22:00:09Z | |
dc.date.available | 2021-04-08T22:00:09Z | |
dc.date.issued | 2021-02-19 | |
dc.identifier.citation | VIEIRA, Júlia Krüger. Uma Tradução de Redes de Petri Fuzzy Generalizadas para Gramáticas de Grafos com Atributos. 2021. 78 f. Dissertação (Mestrado em Ciência da Computação) – Programa de Pós-Graduação em Computação, Centro de Desenvolvimento Tecnológico, Universidade Federal de Pelotas, Pelotas, 2021. | pt_BR |
dc.identifier.uri | http://guaiaca.ufpel.edu.br/handle/prefix/7353 | |
dc.description.abstract | Petri Nets (PN) and Graph Grammars (GG) are suitable formalism’s to specify concurrent and distributed systems. There are several studies that relate PN and GG, where GG is seen as a generalization of PN since it allows expressing more information. There are different types of PN, however, in this work, the focus is given to Fuzzy Petri Nets (FPN), more specifically to Generalized Fuzzy Petri Nets (GFPN). The objective of this work is to propose a translation from GFPN to Attributed Graph Grammars, that allows to describe the behavior of a fuzzy inference system using graph grammars. An Attributed Graph Grammar (AGG) is an extension of conventional GG that incorporates attributes with abstract data types in graph definitions. The translation consists of transforming the components of the GFPN into components of an AGG. The fuzzy operations of the net are defined by means of an algebraic specification associated with the AGG and the components of the grammar, that is, the type graph, the initial graph and the set of rules, are built from the structure of the net. According to the semantics of GFPN, two modes of transition triggering are considered. In the first mode, tokens are consumed from the preconditions of the triggered transition. In the second, tokens are preserved. These two behaviors generate two types of rules for the grammar obtained from the translation, which simulate the net’s trigger modes. In order to ensure that the AGG obtained from the translation maintains the same behavior as the translated GFPN, it is proven that the translation preserves the semantics of the GFPN, that is, all behavior observed in the nets must be observed in the grammars and vice versa. More specifically, if a state change occurs in the GFPN by triggering a transition and a new state is achieved, then this new state must also be achieved in the AGG if the rule, obtained in the translation from the transition triggered in the net, is applied and vice versa. The translation is expected to provide a new model for the fuzzy approach derived from the translation proposed here. The obtained AGG can be directly used to verify properties of fuzzy systems using tools such as Rodin’s theorem prover. In addition, it is expected that the model obtained by the translation will serve as an inspiration for the definition of a more flexible Fuzzy Graph Grammars, in which one can choose the desired type of fuzzy sets and operations. | pt_BR |
dc.description.sponsorship | Sem bolsa | pt_BR |
dc.language | por | pt_BR |
dc.publisher | Universidade Federal de Pelotas | pt_BR |
dc.rights | OpenAccess | pt_BR |
dc.subject | Computação | pt_BR |
dc.subject | Redes de petri fuzzy | pt_BR |
dc.subject | Gramática de grafos com atributos | pt_BR |
dc.subject | Transformação entre modelos | pt_BR |
dc.subject | Attributed graphs grammars | pt_BR |
dc.subject | Transformation between models | pt_BR |
dc.title | Uma tradução de redes de Petri Fuzzy generalizadas para gramáticas de grafos com atributos | pt_BR |
dc.title.alternative | A Translation from Generalized Fuzzy Petri Nets into Attributed Graph Grammars. | pt_BR |
dc.type | masterThesis | pt_BR |
dc.contributor.authorLattes | http://lattes.cnpq.br/3162558053827742 | pt_BR |
dc.contributor.advisorLattes | http://lattes.cnpq.br/1097468139544018 | pt_BR |
dc.contributor.advisor-co1 | Cavalheiro, Simone André da Costa | |
dc.contributor.advisor-co1Lattes | http://lattes.cnpq.br/2502796658601825 | pt_BR |
dc.description.resumo | Redes de Petri (RP) e Gramáticas de Grafos (GG) são formalismos adequados para especificar sistemas concorrentes e distribuídos. Existem diversos trabalhos que relacionam RP e GG, onde GG é vista como uma generalização de RP por permitir expressar mais informações. Existem diferentes tipos de RP, porém, neste trabalho, o foco é dado às Redes de Petri Fuzzy (RPF), mais especificamente às Redes de Petri Fuzzy Generalizadas (RPFG). O objetivo deste trabalho é propor uma tradução de RPFG para Gramática de Grafos com Atributos (GGA) que permita descrever o comportamento de um sistema de inferência fuzzy através de gramática de grafos. Uma GGA é uma extensão da GG convencional que incorpora atributos com tipos de dados abstratos nas definições dos grafos. A tradução, consiste em transformar os componentes da RPFG em componentes de uma GGA. As operações fuzzy da rede são definidas por meio de uma especificação algébrica associada à GGA e os componentes da gramática, isto é, o grafo tipo, o grafo inicial e o conjunto de regras, são construídos a partir da estrutura da rede. De acordo com a semântica da rede, dois modos de disparo das transições são considerados. No primeiro modo, os tokens são consumidos das pré-condições da transição disparada. Já no segundo, os tokens são preservados. Esses dois comportamentos, geram dois tipos de regras para a gramática obtida da tradução, as quais simulam os modos de disparo da rede. Para garantir que a GGA obtida da tradução mantém o mesmo comportamento da RPFG traduzida, prova-se que a tradução preserva a semântica das RPFG, isto é, todo comportamento observado nas redes deve ser observado na gramática e viceversa. Mais especificamente, se ocorre uma mudança de estado na RPFG por meio do disparo de uma transição e um novo estado é alcançado, então esse novo estado, deve ser também alcançado na GGA se a regra, obtida na tradução da transição disparada na rede, for aplicada e vice-versa. Com a tradução espera-se prover um novo modelo para a abordagem fuzzy derivado da tradução aqui proposta. De forma direta a GGA obtida pode ser usada na verificação de propriedades de sistemas fuzzy através de ferramentas como o provador de teoremas do Rodin. Além disso, espera-se que o modelo obtido pela tradução sirva como inspiração para a definição de Gramáticas de Grafos Fuzzy mais flexíveis, nas quais pode-se escolher o tipo de conjuntos e operações fuzzy desejados. | pt_BR |
dc.publisher.department | Centro de Desenvolvimento Tecnológico | pt_BR |
dc.publisher.program | Programa de Pós-Graduação em Computação | pt_BR |
dc.publisher.initials | UFPel | pt_BR |
dc.subject.cnpq | CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::TEORIA DA COMPUTACAO | pt_BR |
dc.publisher.country | Brasil | pt_BR |
dc.contributor.advisor1 | Foss, Luciana |
Ficheros en el ítem
Este ítem aparece en la(s) siguiente(s) colección(ones)
-
PPGC: Dissertações e Teses [233]
Dissertações e teses.