Exportar registro bibliográfico

Uma ferramenta para descrição e análise de paralelismo e sincronização (1994)

  • Authors:
  • Autor USP: SANGIORGIO, CARLOS ALBERTO - EP
  • Unidade: EP
  • Sigla do Departamento: PCS
  • Assunto: ENGENHARIA ELÉTRICA
  • Language: Português
  • Abstract: O núcleo deste trabalho consiste na utilização de redes de Petri (RP) para modelamento e análise de sistemas que apresentem paralelismo de operações e pontos de sincronização. Foram elaboradas duas ferramentas de software chamadas RP-NUM e RP-SIM que permitem a análise de RP'S INTERPRETADAS ATRAVÉS DE PROCESSO ALGÉBRICO E POR SIMULAÇÃO RESPECTIVAMENTE. AS RP's interpretadas sao RP'S CONVENCIONAIS COM O ACRESCIMO DE ALGUMAS ROTINAS (INTERPRETAÇÕES) QUE SÃO ASSOCIADAS A REDE PARA DETERMINAÇÃO DE ALGUM COMPORTAMENTO ESPECIAL QUE ESTA DEVA APRESENTAR. TANTO PARA O DESENVOLVIMENTO DA FERRAMENTA, COMO PARA DESCRIÇÃO DAS RPS E IMPLEMENTAÇÃO DAS INTERPRETAÇÕES, FOI UTILIZADA A LINGUAGEM C++. FAZEM PARTE AINDA DESTE TRABALHO A COMPARAÇÃO DA UTILIZAÇÃO DE RP INTERPRETADAS COM ALGUMAS OUTRAS CLASSES DE RP's, como também a comparação de outras formas de descrição de paralelismo comRP interpretadas. Nas comparações, sempre que possível, são apresentados um mapeamento da forma em análise paraRP interpretada. Diversos sistemas são modelados e analisados neste trabalho. Estas análises servirão tanto para uma primeira validação das ferramentas propostas como para servir de exemplo para suas utilizações em outros sistemas. Sempre que possível são feitas comparações com os resultados publicados em outros trabalhos, bem como comparações entre os resultados gerados pelas duas ferramentas.
  • Imprenta:
  • Data da defesa: 08.04.1994
  • Acesso à fonte
    How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      SANGIORGIO, Carlos Alberto. Uma ferramenta para descrição e análise de paralelismo e sincronização. 1994. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 1994. Disponível em: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-26052025-110319/pt-br.php. Acesso em: 28 dez. 2025.
    • APA

      Sangiorgio, C. A. (1994). Uma ferramenta para descrição e análise de paralelismo e sincronização (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/3/3141/tde-26052025-110319/pt-br.php
    • NLM

      Sangiorgio CA. Uma ferramenta para descrição e análise de paralelismo e sincronização [Internet]. 1994 ;[citado 2025 dez. 28 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-26052025-110319/pt-br.php
    • Vancouver

      Sangiorgio CA. Uma ferramenta para descrição e análise de paralelismo e sincronização [Internet]. 1994 ;[citado 2025 dez. 28 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-26052025-110319/pt-br.php


Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2025