Ferramenta para apoio a modelagem de sistemas com redes de petri

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 dis...

Full description

Bibliographic Details
Main Author: Guarda, Alvaro
Other Authors: Heuser, Carlos Alberto
Format: Others
Language:Portuguese
Published: 2010
Subjects:
Online Access:http://hdl.handle.net/10183/25622