Ferramenta para apoio a modelagem de sistemas com redes de petri
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 (5098)Computação (1754)
Este item está licenciado na Creative Commons License