Uma metodologia para modelagem multinível e simulação de sistemas de computação por redes de Petri.

Detalhes bibliográficos
Autor(a) principal: Cintra, Marcelo Hehl de Sylos
Data de Publicação: 1996
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da USP
Texto Completo: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-22082024-091339/
Resumo: O uso de modelos e simulação tem se tornado uma prática cada vez mais comum para a análise de desempenho de sistemas de computação. Uma técnica que tem sido utilizada com sucesso para análise de desempenho de sistemas de computação são as redes de Petri temporizadas. Neste trabalho foi desenvolvida uma metodologia para modelagem e solução em múltiplos níveis, e uma metodologia de simulação de redes de Petri que inclui um algoritmo de simulação para redes temporizadas genéricas e cálculo de índices de desempenho, e uma metodologia de gerenciamento para este tipo de simulação. Uma ferramenta que oferece recursos para a implementação destas metodologias foi também desenvolvida. Utilizando as metodologias e a ferramenta, foram feitos dois estudos de caso e um exemplo de um sistema de fila para o qual são conhecidos resultados analíticos exatos. Para o estudo de caso da arquitetura de computador com múltiplos contextos, modelou-se os processadores e o subsistema de memória, e verificou-se o comportamento deste tipo de arquitetura para vários números de contextos por processador. Para o estudo de caso de um sistema de comunicação de dados, desenvolveu-se modelos de uma rede do tipo CSMA/CD e de um sistema de banco de dados do tipo cliente-servidor, e verificou-se o comportamento do sistema para várias configurações da rede.
id USP_5f28178e4a5f44122aa4da5413b3dccf
oai_identifier_str oai:teses.usp.br:tde-22082024-091339
network_acronym_str USP
network_name_str Biblioteca Digital de Teses e Dissertações da USP
repository_id_str 2721
spelling Uma metodologia para modelagem multinível e simulação de sistemas de computação por redes de Petri.Untitled in englishPetri netsRedes de PetriO uso de modelos e simulação tem se tornado uma prática cada vez mais comum para a análise de desempenho de sistemas de computação. Uma técnica que tem sido utilizada com sucesso para análise de desempenho de sistemas de computação são as redes de Petri temporizadas. Neste trabalho foi desenvolvida uma metodologia para modelagem e solução em múltiplos níveis, e uma metodologia de simulação de redes de Petri que inclui um algoritmo de simulação para redes temporizadas genéricas e cálculo de índices de desempenho, e uma metodologia de gerenciamento para este tipo de simulação. Uma ferramenta que oferece recursos para a implementação destas metodologias foi também desenvolvida. Utilizando as metodologias e a ferramenta, foram feitos dois estudos de caso e um exemplo de um sistema de fila para o qual são conhecidos resultados analíticos exatos. Para o estudo de caso da arquitetura de computador com múltiplos contextos, modelou-se os processadores e o subsistema de memória, e verificou-se o comportamento deste tipo de arquitetura para vários números de contextos por processador. Para o estudo de caso de um sistema de comunicação de dados, desenvolveu-se modelos de uma rede do tipo CSMA/CD e de um sistema de banco de dados do tipo cliente-servidor, e verificou-se o comportamento do sistema para várias configurações da rede.Modeling and simulation is increasingly becoming a common procedure for performance analysis of computer systems. One technique that has been successfully used for performance analysis of computer systems are the timed Petri nets. In this work we developed a multilevel modeling and solution methodology, and a simulation methodology for Petri nets which includes a simulation algorithm for generic timed Petri nets and computation of performance índices, and a methodology for managing this type of simulation. A tool that offers support for the implementation of these methodologies was also developed. Using the methodologies and the tool, we developed two case studies ando ne example of a queuing system for which there are known analytical and exact results. For the case study of a multithreaded computer architecture, we modeled the processors and the memory subsystem, and we verified the behavior of this type of architecture for different degrees of multithreading in the processors. For the case study of a data communication system, we developed models for a CSMA/CD network and for a cliente-server databasesystem, and we verified the behavior of the system for different configurations of the network.Biblioteca Digitais de Teses e Dissertações da USPRuggiero, Wilson VicenteCintra, Marcelo Hehl de Sylos1996-06-26info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttps://www.teses.usp.br/teses/disponiveis/3/3141/tde-22082024-091339/reponame:Biblioteca Digital de Teses e Dissertações da USPinstname:Universidade de São Paulo (USP)instacron:USPLiberar o conteúdo para acesso público.info:eu-repo/semantics/openAccesspor2024-08-22T12:19:03Zoai:teses.usp.br:tde-22082024-091339Biblioteca Digital de Teses e Dissertaçõeshttp://www.teses.usp.br/PUBhttp://www.teses.usp.br/cgi-bin/mtd2br.plvirginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.bropendoar:27212024-08-22T12:19:03Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false
dc.title.none.fl_str_mv Uma metodologia para modelagem multinível e simulação de sistemas de computação por redes de Petri.
Untitled in english
title Uma metodologia para modelagem multinível e simulação de sistemas de computação por redes de Petri.
spellingShingle Uma metodologia para modelagem multinível e simulação de sistemas de computação por redes de Petri.
Cintra, Marcelo Hehl de Sylos
Petri nets
Redes de Petri
title_short Uma metodologia para modelagem multinível e simulação de sistemas de computação por redes de Petri.
title_full Uma metodologia para modelagem multinível e simulação de sistemas de computação por redes de Petri.
title_fullStr Uma metodologia para modelagem multinível e simulação de sistemas de computação por redes de Petri.
title_full_unstemmed Uma metodologia para modelagem multinível e simulação de sistemas de computação por redes de Petri.
title_sort Uma metodologia para modelagem multinível e simulação de sistemas de computação por redes de Petri.
author Cintra, Marcelo Hehl de Sylos
author_facet Cintra, Marcelo Hehl de Sylos
author_role author
dc.contributor.none.fl_str_mv Ruggiero, Wilson Vicente
dc.contributor.author.fl_str_mv Cintra, Marcelo Hehl de Sylos
dc.subject.por.fl_str_mv Petri nets
Redes de Petri
topic Petri nets
Redes de Petri
description O uso de modelos e simulação tem se tornado uma prática cada vez mais comum para a análise de desempenho de sistemas de computação. Uma técnica que tem sido utilizada com sucesso para análise de desempenho de sistemas de computação são as redes de Petri temporizadas. Neste trabalho foi desenvolvida uma metodologia para modelagem e solução em múltiplos níveis, e uma metodologia de simulação de redes de Petri que inclui um algoritmo de simulação para redes temporizadas genéricas e cálculo de índices de desempenho, e uma metodologia de gerenciamento para este tipo de simulação. Uma ferramenta que oferece recursos para a implementação destas metodologias foi também desenvolvida. Utilizando as metodologias e a ferramenta, foram feitos dois estudos de caso e um exemplo de um sistema de fila para o qual são conhecidos resultados analíticos exatos. Para o estudo de caso da arquitetura de computador com múltiplos contextos, modelou-se os processadores e o subsistema de memória, e verificou-se o comportamento deste tipo de arquitetura para vários números de contextos por processador. Para o estudo de caso de um sistema de comunicação de dados, desenvolveu-se modelos de uma rede do tipo CSMA/CD e de um sistema de banco de dados do tipo cliente-servidor, e verificou-se o comportamento do sistema para várias configurações da rede.
publishDate 1996
dc.date.none.fl_str_mv 1996-06-26
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://www.teses.usp.br/teses/disponiveis/3/3141/tde-22082024-091339/
url https://www.teses.usp.br/teses/disponiveis/3/3141/tde-22082024-091339/
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv
dc.rights.driver.fl_str_mv Liberar o conteúdo para acesso público.
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Liberar o conteúdo para acesso público.
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.coverage.none.fl_str_mv
dc.publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
dc.source.none.fl_str_mv
reponame:Biblioteca Digital de Teses e Dissertações da USP
instname:Universidade de São Paulo (USP)
instacron:USP
instname_str Universidade de São Paulo (USP)
instacron_str USP
institution USP
reponame_str Biblioteca Digital de Teses e Dissertações da USP
collection Biblioteca Digital de Teses e Dissertações da USP
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)
repository.mail.fl_str_mv virginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.br
_version_ 1815257280177766400