dc.creator.ID |
BATISTA, O. M. N. |
pt_BR |
dc.creator.Lattes |
OTHON MARCELO NUNES. |
pt_BR |
dc.contributor.advisor1 |
CABRAL, Maria Izabel Cavalcanti. |
|
dc.contributor.advisor1 |
FIGUEIREDO, Jorge Cesar Abrantes de. |
|
dc.contributor.advisor1ID |
CABRAL, M. I. C. |
pt_BR |
dc.contributor.advisor1ID |
FIGUEIREDO, J. C. A. |
|
dc.contributor.advisor1Lattes |
http://lattes.cnpq.br/0134792761198343 |
pt_BR |
dc.contributor.advisor1Lattes |
http://lattes.cnpq.br/1424808046858622 |
|
dc.contributor.referee1 |
FERNEDA, Edilson. |
|
dc.contributor.referee2 |
SOUZA FILHO, Guido Lemos de. |
|
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. |
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 CIÊNCIA DA COMPUTAÇÃO |
pt_BR |
dc.publisher.initials |
UFCG |
pt_BR |
dc.subject.cnpq |
Ciência da Computação |
|
dc.title |
Estudo de equivalência de modelos markovianos construídos com os paradigmas redes de filas e redes de petri. |
pt_BR |
dc.date.issued |
1999-06-28 |
|
dc.description.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. |
pt_BR |
dc.identifier.uri |
http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/11501 |
|
dc.date.accessioned |
2020-02-04T17:20:53Z |
|
dc.date.available |
2020-02-04 |
|
dc.date.available |
2020-02-04T17:20:53Z |
|
dc.type |
Dissertação |
pt_BR |
dc.subject |
Redes de Petri |
|
dc.subject |
Cadeias de Markov |
|
dc.subject |
Avaliação de Desempenho |
|
dc.subject |
Software SAVAD |
|
dc.subject |
Ferramenta ALLOS |
|
dc.subject |
Generalized Stochastic Petri Nets (GSPN) |
|
dc.subject |
Petri Nets |
|
dc.subject |
Markov Chains |
|
dc.subject |
Performance Evaluation |
|
dc.subject |
SAVAD Software |
|
dc.subject |
ALLOS Tool |
|
dc.rights |
Acesso Aberto |
pt_BR |
dc.creator |
BATISTA, Othon Marcelo Nunes. |
|
dc.publisher |
Universidade Federal de Campina Grande |
pt_BR |
dc.language |
por |
pt_BR |
dc.title.alternative |
Equivalence study of Markovian models built with the queuing and petri nets paradigms. |
pt_BR |
dc.identifier.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 |
pt_BR |