Petri net tools: desenvolvimento e implementacao de template para rede de petri virtual.

• Processo: 01/10547-0
• Modalidade de apoio: Bolsas no Brasil - Iniciação Científica
• Data de Início da vigência: 01 de novembro de 2001
• Data de Término da vigência: 31 de outubro de 2002
• Área de conhecimento: Engenharias - Engenharia Mecânica - Processos de Fabricação
• Pesquisador responsável: Arthur José Vieira Porto
• Beneficiário: Jader Jose de Oliveira
• Instituição Sede: Escola de Engenharia de São Carlos (EESC). Universidade de São Paulo (USP). São Carlos , SP, Brasil
• Palavra(s)-Chave do Pesquisador: Rede De Petri Virtual

Resumo

O presente plano pretende dar continuidade ao projeto "Editor de rede de Petri: desenvolvimento de uma plataforma" (processo FAPESP n° 98/07212-1) que teve como objetivo a construção de um editor e simulador gráfico de rede de Petri. O objetivo desse trabalho é complementar a implementação de um módulo interpretador de rede de Petri Virtual na forma de template para o editor / simulador do projeto acima mencionado. A implementação seguirá modelo elaborado no trabalho de mestrado da aluna Patrícia Ferraz, intitulado Implementação de Template para rede de Petri Virtual aplicada a Sistemas de Manufatura Automatizados voltado ao software Petri Net Tools, apoiado pela Capes. As ações previstas são: estudo das propriedades e técnicas de análise de redes de Petri e suas extensões (principalmente PN Virtual), estudo de sistemas de manufatura, estudo de técnicas de teste de software, estudo de programação orientada a objetos e da linguagem C++. (AU)