Ferramenta para apoio a modelagem de sistemas com redes de petri

AUTOR(ES)

Guarda, Alvaro

DATA DE PUBLICAÇÃO

2010

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.

ASSUNTO(S)

simulação modelagem : sistemas redes : petri inteligência artificial

Documentos Relacionados

• Um ambiente de suporte à modelagem hierÃrquica por redes de petri para sistemas de produÃÃo
• Uma heurística para a programação da produção de sistemas flexíveis de manufatura usando modelagem em redes de Petri.
• Modelagem de sistemas de manufatura usando Redes de Petri Coloridas Fuzzy focando a solução de conflitos
• Cost modeling in manufacturing systems using Petri nets.
• Modelagem temporal de sistemas : uma abordagem fundamentada em redes de petri