Exportação concluída — 

Uma ferramenta para descrição e análise de paralelismo e sincronização.

Detalhes bibliográficos
Ano de defesa: 1994
Autor(a) principal: Sangiorgio, Carlos Alberto
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
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
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Petri nets
Redes de Petri
Link de acesso: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-26052025-110319/
Resumo: O nucleo deste trabalho consiste na utilizacao de redes de petri (rp) para modelamento e analise de sistemas que apresentem paralelismo de operacoes e pontos de sincronizacao. Foram elaboradas duas ferramentas de software chamadas rp-num e rp-sim que permitem a analise de rp\'S INTERPRETADAS ATRAVES DE PROCESSO ALGEBRICO E POR SIMULACAO RESPECTIVAMENTE. AS RP\'s interpretadas sao rp\'S CONVENCIONAIS COM O ACRESCIMO DE ALGUMAS ROTINAS (INTERPRETACOES) QUE SAO ASSOCIADAS A REDE PARA DETERMINACAO DE ALGUM COMPORTAMENTO ESPECIAL QUE ESTA DEVA APRESENTAR. TANTO PARA O DESENVOLVIMENTO DA FERRAMENTA, COMO PARA DESCRICAO DAS RPS E IMPLEMENTACAO DAS INTERPRETACOES, FOI UTILIZADA A LINGUAGEM C++. FAZEM PARTE AINDA DESTE TRABALHO A COMPARACAO DA UTILIZACAO DE RP INTERPRETADAS COM ALGUMAS OUTRAS CLASSES DE RP\'s, como tambem a comparacao de outras formas de descricao de paralelismo com rp interpretadas. Nas comparacoes, sempre que possivel, sao apresentados um mapeamento da forma em analise para rp interpretada. Diversos sistemas sao modelados e analisados neste trabalho. Estas analises servirao tanto para uma primeira validacao das ferramentas propostas como para servir de exemplo para suas utilizacoes em outros sistemas. Sempre que possivel sao feitas comparacoes com os resultados publicados em outros trabalhos, bem como comparacoes entre os resultados gerados pelas duas ferramentas.
id USP_1854a01d14827aa99d9880476bebf89a
oai_identifier_str oai:teses.usp.br:tde-26052025-110319
network_acronym_str USP
network_name_str Biblioteca Digital de Teses e Dissertações da USP
repository_id_str
spelling Uma ferramenta para descrição e análise de paralelismo e sincronização.Untitled in englishPetri netsRedes de PetriO nucleo deste trabalho consiste na utilizacao de redes de petri (rp) para modelamento e analise de sistemas que apresentem paralelismo de operacoes e pontos de sincronizacao. Foram elaboradas duas ferramentas de software chamadas rp-num e rp-sim que permitem a analise de rp\'S INTERPRETADAS ATRAVES DE PROCESSO ALGEBRICO E POR SIMULACAO RESPECTIVAMENTE. AS RP\'s interpretadas sao rp\'S CONVENCIONAIS COM O ACRESCIMO DE ALGUMAS ROTINAS (INTERPRETACOES) QUE SAO ASSOCIADAS A REDE PARA DETERMINACAO DE ALGUM COMPORTAMENTO ESPECIAL QUE ESTA DEVA APRESENTAR. TANTO PARA O DESENVOLVIMENTO DA FERRAMENTA, COMO PARA DESCRICAO DAS RPS E IMPLEMENTACAO DAS INTERPRETACOES, FOI UTILIZADA A LINGUAGEM C++. FAZEM PARTE AINDA DESTE TRABALHO A COMPARACAO DA UTILIZACAO DE RP INTERPRETADAS COM ALGUMAS OUTRAS CLASSES DE RP\'s, como tambem a comparacao de outras formas de descricao de paralelismo com rp interpretadas. Nas comparacoes, sempre que possivel, sao apresentados um mapeamento da forma em analise para rp interpretada. Diversos sistemas sao modelados e analisados neste trabalho. Estas analises servirao tanto para uma primeira validacao das ferramentas propostas como para servir de exemplo para suas utilizacoes em outros sistemas. Sempre que possivel sao feitas comparacoes com os resultados publicados em outros trabalhos, bem como comparacoes entre os resultados gerados pelas duas ferramentas.The kernel of this work is the modelling and analyses of parallel systems with syncronization points, using Petri nets. Two software tools are developed. These tools, called RP NUM and RP_SIM, provides the analyses of interpreted Petri nets by albegric process and by simulation. The interpreted Petri nets act like conventional one, with some procedures (interpretations) associated to it, to define some special behavior. The C++ language was used to develop the tools, to describe the Petri nets structures (description language) and its interpretations. Addicionally, this work compares interpreted Petri nets against convencional Petri nets and interpreted Petri nets against other approaches to describe paralellism. When possible, a 1:1 relation between these forms and interpreted Petri nets are presented. Some systems are modelated and analised in this work. These analyses will be used for two purposes: as a first tools\' validation and as a base line to use them in analyses of other systems. When possible, comparations of results presented in this work with results of others papers are presented. The RP SIM and RP NUM results are compared too.Biblioteca Digitais de Teses e Dissertações da USPRuggiero, Wilson VicenteSangiorgio, Carlos Alberto1994-04-08info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttps://www.teses.usp.br/teses/disponiveis/3/3141/tde-26052025-110319/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/openAccesspor2025-05-26T15:36:02Zoai:teses.usp.br:tde-26052025-110319Biblioteca 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:27212025-05-26T15:36:02Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false
dc.title.none.fl_str_mv Uma ferramenta para descrição e análise de paralelismo e sincronização.
Untitled in english
title Uma ferramenta para descrição e análise de paralelismo e sincronização.
spellingShingle Uma ferramenta para descrição e análise de paralelismo e sincronização.
Sangiorgio, Carlos Alberto
Petri nets
Redes de Petri
title_short Uma ferramenta para descrição e análise de paralelismo e sincronização.
title_full Uma ferramenta para descrição e análise de paralelismo e sincronização.
title_fullStr Uma ferramenta para descrição e análise de paralelismo e sincronização.
title_full_unstemmed Uma ferramenta para descrição e análise de paralelismo e sincronização.
title_sort Uma ferramenta para descrição e análise de paralelismo e sincronização.
author Sangiorgio, Carlos Alberto
author_facet Sangiorgio, Carlos Alberto
author_role author
dc.contributor.none.fl_str_mv Ruggiero, Wilson Vicente
dc.contributor.author.fl_str_mv Sangiorgio, Carlos Alberto
dc.subject.por.fl_str_mv Petri nets
Redes de Petri
topic Petri nets
Redes de Petri
description O nucleo deste trabalho consiste na utilizacao de redes de petri (rp) para modelamento e analise de sistemas que apresentem paralelismo de operacoes e pontos de sincronizacao. Foram elaboradas duas ferramentas de software chamadas rp-num e rp-sim que permitem a analise de rp\'S INTERPRETADAS ATRAVES DE PROCESSO ALGEBRICO E POR SIMULACAO RESPECTIVAMENTE. AS RP\'s interpretadas sao rp\'S CONVENCIONAIS COM O ACRESCIMO DE ALGUMAS ROTINAS (INTERPRETACOES) QUE SAO ASSOCIADAS A REDE PARA DETERMINACAO DE ALGUM COMPORTAMENTO ESPECIAL QUE ESTA DEVA APRESENTAR. TANTO PARA O DESENVOLVIMENTO DA FERRAMENTA, COMO PARA DESCRICAO DAS RPS E IMPLEMENTACAO DAS INTERPRETACOES, FOI UTILIZADA A LINGUAGEM C++. FAZEM PARTE AINDA DESTE TRABALHO A COMPARACAO DA UTILIZACAO DE RP INTERPRETADAS COM ALGUMAS OUTRAS CLASSES DE RP\'s, como tambem a comparacao de outras formas de descricao de paralelismo com rp interpretadas. Nas comparacoes, sempre que possivel, sao apresentados um mapeamento da forma em analise para rp interpretada. Diversos sistemas sao modelados e analisados neste trabalho. Estas analises servirao tanto para uma primeira validacao das ferramentas propostas como para servir de exemplo para suas utilizacoes em outros sistemas. Sempre que possivel sao feitas comparacoes com os resultados publicados em outros trabalhos, bem como comparacoes entre os resultados gerados pelas duas ferramentas.
publishDate 1994
dc.date.none.fl_str_mv 1994-04-08
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-26052025-110319/
url https://www.teses.usp.br/teses/disponiveis/3/3141/tde-26052025-110319/
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_ 1844786347674435584

Registros relacionados