Editor de rede de Petri: desenvolvimento de módulo tutorial para análise

• Processo: 99/00804-3
• Modalidade de apoio: Bolsas no Brasil - Iniciação Científica
• Data de Início da vigência: 01 de maio de 1999
• Data de Término da vigência: 30 de abril de 2001
• Área de conhecimento: Engenharias - Engenharia Mecânica - Projetos de Máquinas
• Pesquisador responsável: Ricardo Yassushi Inamasu
• Beneficiário: Mario Luiz de Blasques e Gouvea Dourado
• Instituição Sede: Embrapa Instrumentação Agropecuária. Empresa Brasileira de Pesquisa Agropecuária (EMBRAPA). Ministério da Agricultura, Pecuária e Abastecimento (Brasil). São Carlos , SP, Brasil
• Assunto(s): Especificação de sistemas e programas Editor gráfico Programação orientada a objetos Sistemas a eventos discretos Redes de Petri
• Palavra(s)-Chave do Pesquisador: Analise | Editor Grafico | Orientacao A Objeto | Rede De Petri | Simulacao | Sistema De Eventos Discretos

Resumo

O presente plano faz parte do projeto "Editor de rede de Petri: desenvolvimento de uma plataforma" (processo FAPESP n° 98/07212-1) que tem como objetivo a construção de um editor e simulador gráfico de rede de Petri. O objetivo desse trabalho é testar e documentar as classes já desenvolvidas do editor aprimorando a documentação para a reutilização das mesmas. A estratégia proposta para o cumprimento desse objetivo é o desenvolvimento de tutorial baseado em exemplos de propriedades e aplicações de rede de Petri encontrados na literatura de modo a testar o editor e realizar manutenções de modo a garantir o caráter aberto do sistema. As ações previstas são: o estudo de propriedades de rede de Petri, estudo de programação orientada a objeto/elaboração de estratégia de manutenção sobre o modelo de classes implementadas propondo melhorias nos módulos de interface com usuário, implementação de apresentação e elaboração da documentação. Observando que o aluno já realizou partes de algumas ações no projeto CNPq (processo 41.96.0926.00). (AU)