Ferramenta para apoio a modelagem de sistemas com redes de petri

Detalhes bibliográficos
Autor(a) principal: Guarda, Alvaro
Data de Publicação: 1989
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da UFRGS
Texto Completo: http://hdl.handle.net/10183/25622
Resumo: O trabalho propõe uma ferramenta para apoio A modelagem de sistemas utilizando como linguagem de modelagem as Redes de Petri. são discutidos que tipos de auxílio são necessários no processo de modelagem de sistemas e as classes de Redes de Petri que podem ser utilizadas na ferramenta proposta. A dissertação mostra a estrutura e a arquitetura da ferramenta, descreve a implementação de um protótipo e apresenta um exemplo de use deste. Na definição da ferramenta b dada ênfase na verificação automática de propriedades das redes.
id URGS_4984d9e8de9d1ac4dffe40c3feec007f
oai_identifier_str oai:www.lume.ufrgs.br:10183/25622
network_acronym_str URGS
network_name_str Biblioteca Digital de Teses e Dissertações da UFRGS
repository_id_str 1853
spelling Guarda, AlvaroHeuser, Carlos AlbertoCosta, Antonio Carlos da Rocha2010-09-10T04:19:05Z1989http://hdl.handle.net/10183/25622000005413O trabalho propõe uma ferramenta para apoio A modelagem de sistemas utilizando como linguagem de modelagem as Redes de Petri. são discutidos que tipos de auxílio são necessários no processo de modelagem de sistemas e as classes de Redes de Petri que podem ser utilizadas na ferramenta proposta. A dissertação mostra a estrutura e a arquitetura da ferramenta, descreve a implementação de um protótipo e apresenta um exemplo de use deste. Na definição da ferramenta b dada ênfase na verificação automática de propriedades das redes.A tool to support system modeling with Petri Nets is proposed. The kinds of assistance needed in the modeling system process, and the Petri Net classes that can be used in the proposed tool are discussed. The dissertation shows the structure and the architecture of the tool, describing the prototype implementation and presenting an example of its use. In the definition of the tool, emphasis is given in the automatic verification of the net properties.application/pdfporSimulaçãoModelagem : SistemasRedes : PetriInteligência artificialFerramenta para apoio a modelagem de sistemas com redes de petriinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisUniversidade Federal do Rio Grande do SulCurso de Pós-Graduação em Ciência da ComputaçãoPorto Alegre, BR-RS1989mestradoinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UFRGSinstname:Universidade Federal do Rio Grande do Sul (UFRGS)instacron:UFRGSORIGINAL000005413.pdf000005413.pdfTexto completoapplication/pdf22806792http://www.lume.ufrgs.br/bitstream/10183/25622/1/000005413.pdfd0f46e01ccd83a6fd9d76f959d28eadfMD51TEXT000005413.pdf.txt000005413.pdf.txtExtracted Texttext/plain200550http://www.lume.ufrgs.br/bitstream/10183/25622/2/000005413.pdf.txtbabde4657f30d49049407e0c1820e098MD52THUMBNAIL000005413.pdf.jpg000005413.pdf.jpgGenerated Thumbnailimage/jpeg1254http://www.lume.ufrgs.br/bitstream/10183/25622/3/000005413.pdf.jpgf0d64145f160e2c578f46097ebce67e0MD5310183/256222018-10-11 08:22:32.452oai:www.lume.ufrgs.br:10183/25622Biblioteca Digital de Teses e Dissertaçõeshttps://lume.ufrgs.br/handle/10183/2PUBhttps://lume.ufrgs.br/oai/requestlume@ufrgs.br||lume@ufrgs.bropendoar:18532018-10-11T11:22:32Biblioteca Digital de Teses e Dissertações da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)false
dc.title.pt_BR.fl_str_mv Ferramenta para apoio a modelagem de sistemas com redes de petri
title Ferramenta para apoio a modelagem de sistemas com redes de petri
spellingShingle Ferramenta para apoio a modelagem de sistemas com redes de petri
Guarda, Alvaro
Simulação
Modelagem : Sistemas
Redes : Petri
Inteligência artificial
title_short Ferramenta para apoio a modelagem de sistemas com redes de petri
title_full Ferramenta para apoio a modelagem de sistemas com redes de petri
title_fullStr Ferramenta para apoio a modelagem de sistemas com redes de petri
title_full_unstemmed Ferramenta para apoio a modelagem de sistemas com redes de petri
title_sort Ferramenta para apoio a modelagem de sistemas com redes de petri
author Guarda, Alvaro
author_facet Guarda, Alvaro
author_role author
dc.contributor.author.fl_str_mv Guarda, Alvaro
dc.contributor.advisor1.fl_str_mv Heuser, Carlos Alberto
dc.contributor.advisor-co1.fl_str_mv Costa, Antonio Carlos da Rocha
contributor_str_mv Heuser, Carlos Alberto
Costa, Antonio Carlos da Rocha
dc.subject.por.fl_str_mv Simulação
Modelagem : Sistemas
Redes : Petri
Inteligência artificial
topic Simulação
Modelagem : Sistemas
Redes : Petri
Inteligência artificial
description O trabalho propõe uma ferramenta para apoio A modelagem de sistemas utilizando como linguagem de modelagem as Redes de Petri. são discutidos que tipos de auxílio são necessários no processo de modelagem de sistemas e as classes de Redes de Petri que podem ser utilizadas na ferramenta proposta. A dissertação mostra a estrutura e a arquitetura da ferramenta, descreve a implementação de um protótipo e apresenta um exemplo de use deste. Na definição da ferramenta b dada ênfase na verificação automática de propriedades das redes.
publishDate 1989
dc.date.issued.fl_str_mv 1989
dc.date.accessioned.fl_str_mv 2010-09-10T04:19:05Z
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 http://hdl.handle.net/10183/25622
dc.identifier.nrb.pt_BR.fl_str_mv 000005413
url http://hdl.handle.net/10183/25622
identifier_str_mv 000005413
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da UFRGS
instname:Universidade Federal do Rio Grande do Sul (UFRGS)
instacron:UFRGS
instname_str Universidade Federal do Rio Grande do Sul (UFRGS)
instacron_str UFRGS
institution UFRGS
reponame_str Biblioteca Digital de Teses e Dissertações da UFRGS
collection Biblioteca Digital de Teses e Dissertações da UFRGS
bitstream.url.fl_str_mv http://www.lume.ufrgs.br/bitstream/10183/25622/1/000005413.pdf
http://www.lume.ufrgs.br/bitstream/10183/25622/2/000005413.pdf.txt
http://www.lume.ufrgs.br/bitstream/10183/25622/3/000005413.pdf.jpg
bitstream.checksum.fl_str_mv d0f46e01ccd83a6fd9d76f959d28eadf
babde4657f30d49049407e0c1820e098
f0d64145f160e2c578f46097ebce67e0
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)
repository.mail.fl_str_mv lume@ufrgs.br||lume@ufrgs.br
_version_ 1800308993358299136

Registros relacionados