Mostrar registro simples

dc.contributor.advisorHeuser, Carlos Albertopt_BR
dc.contributor.authorGuarda, Alvaropt_BR
dc.date.accessioned2010-09-10T04:19:05Zpt_BR
dc.date.issued1989pt_BR
dc.identifier.urihttp://hdl.handle.net/10183/25622pt_BR
dc.description.abstractO 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.pt_BR
dc.description.abstractA 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.en
dc.format.mimetypeapplication/pdf
dc.language.isoporpt_BR
dc.rightsOpen Accessen
dc.subjectSimulaçãopt_BR
dc.subjectModelagem : Sistemaspt_BR
dc.subjectRedes : Petript_BR
dc.subjectInteligência artificialpt_BR
dc.titleFerramenta para apoio a modelagem de sistemas com redes de petript_BR
dc.typeDissertaçãopt_BR
dc.contributor.advisor-coCosta, Antonio Carlos da Rochapt_BR
dc.identifier.nrb000005413pt_BR
dc.degree.grantorUniversidade Federal do Rio Grande do Sulpt_BR
dc.degree.programCurso de Pós-Graduação em Ciência da Computaçãopt_BR
dc.degree.localPorto Alegre, BR-RSpt_BR
dc.degree.date1989pt_BR
dc.degree.levelmestradopt_BR


Thumbnail
   

Este item está licenciado na Creative Commons License

Mostrar registro simples