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

• Ano de defesa: 1996
• Autor(a) principal: Cintra, Marcelo Hehl de Sylos
• Tipo de documento: Dissertação
• Tipo de acesso: Acesso aberto
• Idioma: por
• Instituição de defesa: Biblioteca Digitais de Teses e Dissertações da USP
• Palavras-chave em Português: Petri nets; Redes de Petri
• Link de acesso: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-22082024-091339/

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.