Please use this identifier to cite or link to this item: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/6405
Title: Análise de sistemas complexos baseada na decomposição de sistemas de G-Nets.
Other Titles: Analysis of complex systems based on the decomposition of G-Nets systems.
???metadata.dc.creator???: PERKUSICH, Angelo.
???metadata.dc.contributor.advisor1???: MORAIS, Misael Elias de.
???metadata.dc.contributor.advisor-co1???: CHANG, Shi-Kuo.
???metadata.dc.contributor.referee1???: MURATA, Tadao.
???metadata.dc.contributor.referee2???: SOUZA, Jorge Moreira de.
???metadata.dc.contributor.referee3???: BARBALHO, David Simonetti.
???metadata.dc.contributor.referee4???: SCHIEL, Ulrich.
Keywords: Análise de Sistemas - Qualidade;Redes Petri;Lógica Temporal;Sistema Complexo;Sistemas de G-Nets;Árvore de Alcançabilidade;Sistemas de Software;Systems Analysis - Quality;Petri Nets;Time Logic;Complex System;G-Nets Systems;Accessibility Tree;Software Systems
Issue Date: 23-Aug-1994
Publisher: Universidade Federal de Campina Grande
Citation: PERKUSICH, Angelo. Análise de sistemas complexos baseada na decomposição de sistemas de G-Nets. 1994. 158 f. Tese (Doutorado em Engenharia Elétrica) - Curso de Pós-Graduação em Engenharia Elétrica, Centro de Engenharia Elétrica e Informática, Universidade Federal da Paraíba – Campus II - Campina Grande, Paraíba, 1994.
???metadata.dc.description.resumo???: Quando especificando, concebendo e analisando sistemas complexos, e necessário adotar uma methodologia composicional ou modular. Esta metodologia deve permitir ao projetista a habilidade de verificar propriedades locais de módulos ou componentes individuais de um sistema, e também, permitir a verificação do comportamento correto entre componentes interagindo. A aplicação de redes de Petri para a modelagem e verificação de sistemas, ao nível de especificação e concepção, e bem conhecida. A despeito de poderosos mecanismos de estruturação disponíveis na teoria de redes de Petri, para a construção do modelo de um sistema complexo, o projetista poderá ainda se defrontar com o problema da explosão de estados, quando analisando e verificando grandes sistemas. Neste trabalho introduzimos uma metodologia de analise composicional para um tipo de redes de Petri de alto-nível denominada G-Nets. Ainda mais, tendo em mente o objetivo de aplicar esta metodologia para sistemas atuais, nos abordamos a introdução sistemática de propriedades de tolerância a falhas na concepção de um componente. A aplicação e exemplificação da metodologia introduzida e na concepção de sistemas de software.
Abstract: When specifying, designing and analyzing complex systems, it is necessary to adopt a modular or compositional methodology. This methodology shall allow the designer the ability to verify local properties of individual modules or components in the system, and also shall allow the verification of the correct behavior of interacting components. The application of Petri nets for the modeling and verification of systems, at specification and design levels are well know. Despite of powerful structuring mechanisms available in the Petri nets theory for the construction of the model of complex systems, the designer is still likely to face the problem of state explosion, when analyzing and verifying large systems. In this work we introduce a compositional analysis methodology for a kind of high level Petri nets called G-Nets. Moreover, having in mind the objective of applying this methodology for actual systems, we also address the systematic introduction of fault-tolerant properties in the design of a component. The application and exemplification of the introduced analysis methodology is on the design of software systems.
Keywords: Análise de Sistemas - Qualidade
Redes Petri
Lógica Temporal
Sistema Complexo
Sistemas de G-Nets
Árvore de Alcançabilidade
Sistemas de Software
Systems Analysis - Quality
Petri Nets
Time Logic
Complex System
G-Nets Systems
Accessibility Tree
Software Systems
???metadata.dc.subject.cnpq???: Engenharia Elétrica
URI: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/6405
Appears in Collections:Doutorado em Engenharia Elétrica.

Files in This Item:
File Description SizeFormat 
ANGELO PERKUSICH - TESE PPGEE 1994.pdfAngelo Perkusich - Tese PPGEE 1994.22.16 MBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.