Ferramenta para apoio a modelagem de sistemas com redes de petri
![Thumbnail](/bitstream/handle/10183/25622/000005413.pdf.jpg?sequence=3&isAllowed=y)
Visualizar/abrir
Data
1989Autor
Orientador
Co-orientador
Nível acadêmico
Mestrado
Tipo
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á ...
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
Instituição
Universidade Federal do Rio Grande do Sul. Curso de Pós-Graduação em Ciência da Computação.
Coleções
-
Ciências Exatas e da Terra (5092)Computação (1752)
Este item está licenciado na Creative Commons License
![](/themes/Mirage2Novo//images/lume/cc.png)