Please use this identifier to cite or link to this item: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/11501
Title: Estudo de equivalência de modelos markovianos construídos com os paradigmas redes de filas e redes de petri.
Other Titles: Equivalence study of Markovian models built with the queuing and petri nets paradigms.
???metadata.dc.creator???: BATISTA, Othon Marcelo Nunes.
???metadata.dc.contributor.advisor1???: CABRAL, Maria Izabel Cavalcanti.
FIGUEIREDO, Jorge Cesar Abrantes de.
???metadata.dc.contributor.referee1???: FERNEDA, Edilson.
???metadata.dc.contributor.referee2???: SOUZA FILHO, Guido Lemos de.
Keywords: Redes de Petri;Cadeias de Markov;Avaliação de Desempenho;Software SAVAD;Ferramenta ALLOS;Generalized Stochastic Petri Nets (GSPN);Petri Nets;Markov Chains;Performance Evaluation;SAVAD Software;ALLOS Tool
Issue Date: 28-Jun-1999
Publisher: Universidade Federal de Campina Grande
Citation: BATISTA, Othon Marcelo Nunes. Estudo de equivalência de modelos markovianos construídos com os paradigmas redes de filas e redes de petri. 93f. (Dissertação) Mestrado em Informática), Pós-Graduação em Informática, Centro de Ciências e Tecnologia, Universidade Federal da Paraíba, Campus II, Campina Grande - Paraíba - Brasil, 1999. Disponível em: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/11501
???metadata.dc.description.resumo???: O Sistema de AVAliação de Desempenho de Modelos de Redes Filas (SAVAD) e um software que permite solucionar modelos de redes de filas que representam sistemas discretos, particularmente sistemas de redes de computadores. O SAVAD apresenta facilidades para a solução de modelos markovianos, isto e, modelos que somente apresentam distribuições de probabilidades exponenciais. Essas facilidades estão presentes em uma ferramenta denominada ALLOS, que permite solucionar modelos através de cadeias de Markov. Esta dissertação de mestrado apresenta estudos de equivalência entre modelos que representam sistemas markovianos construídos como sistemas de redes de filas, atraves do SAVAD, e modelos construidos como "Generalized Stochastic Petri Nets" (GSPN). Esses estudos objetivam a integração de GSPN ao SAVAD, permitindo, a adição da analise qualitativa na solução desses modelos. A análise qualitativa realizada nesta dissertação volta-se a observação de duas propriedades importantes em modelos representados em GSPN: vivacidade e limitação. Os estudos de equivalência se baseiam no isomorfismo existente entre as cadeias de Markov obtidas por modelos representados como sistemas de redes de filas, solucionados através da ferramenta ALLOS do SAVAD, e por modelos representados em GSPN.
Abstract: The queueing networks performance evaluation system (SAVAD) is a software that allows to solve queueing network models that represents discrete systems, particularly computer network systems. SAVAD presents facilities to solve markovian models, i.e., models that only presents exponential probability distributions. This facilities are available in a tool denominated ALLOS, that permits to solve models by its Markov chains. This masters dissertation presents equivalence studies between models that represent markovian systems constructed as queueing network systems, by SAVAD, and models constructed as generalized stochastic Petri nets (GSPN). These studies aim the integration of GSPN to SAVAD, allowing, the addiction of qualitative analysis to the solution of this models. The qualitative analysis realized in this dissertation is directed to the observation of two important properties in the models represented in GSPN: liveness and boundedness. The equivalence studies are based in the isomorphism existent between the Markov chains obtained by models represented as queueing network systems, solved by the tool ALLOS of SAVAD, and by models represented in GSPN.
Keywords: Redes de Petri
Cadeias de Markov
Avaliação de Desempenho
Software SAVAD
Ferramenta ALLOS
Generalized Stochastic Petri Nets (GSPN)
Petri Nets
Markov Chains
Performance Evaluation
SAVAD Software
ALLOS Tool
???metadata.dc.subject.cnpq???: Ciência da Computação
URI: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/11501
Appears in Collections:Mestrado em Ciência da Computação.

Files in This Item:
File Description SizeFormat 
OTHON MARCELO NUNES BATISTA - DISSERTAÇÃO PPGI 1999.pdfOthon Marcelo Nunes Batista - Dissertação PPGI 1999.5.01 MBAdobe PDFView/Open


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