Repositório Digital

A- A A+

Ferramenta para apoio a modelagem de sistemas com redes de petri

.

Ferramenta para apoio a modelagem de sistemas com redes de petri

Mostrar registro completo

Estatísticas

Título Ferramenta para apoio a modelagem de sistemas com redes de petri
Autor Guarda, Alvaro
Orientador Heuser, Carlos Alberto
Co-orientador Costa, Antonio Carlos da Rocha
Data 1989
Nível Mestrado
Instituição Universidade Federal do Rio Grande do Sul. Curso de Pós-Graduação em Ciência da Computação.
Assunto Inteligência artificial
Modelagem : Sistemas
Redes : Petri
Simulação
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.
Abstract 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.
Tipo Dissertação
URI http://hdl.handle.net/10183/25622
Arquivos Descrição Formato
000005413.pdf (22.80Mb) Texto completo Adobe PDF Visualizar/abrir

Este item está licenciado na Creative Commons License

Este item aparece na(s) seguinte(s) coleção(ões)


Mostrar registro completo

Percorrer



  • O autor é titular dos direitos autorais dos documentos disponíveis neste repositório e é vedada, nos termos da lei, a comercialização de qualquer espécie sem sua autorização prévia.
    Projeto gráfico elaborado pelo Caixola - Clube de Criação Fabico/UFRGS Powered by DSpace software, Version 1.8.1.