Editor e simulador de sistemas a eventos discretos baseado em rede de Petri

• Processo: 98/03634-9
• Modalidade de apoio: Bolsas no Brasil - Iniciação Científica
• Data de Início da vigência: 01 de julho de 1998
• Data de Término da vigência: 31 de dezembro de 1999
• Área de conhecimento: Engenharias - Engenharia Mecânica - Processos de Fabricação
• Pesquisador responsável: Paulo Eigi Miyagi
• Beneficiário: Fabio Noriyuki Takada
• Instituição Sede: Escola Politécnica (EP). Universidade de São Paulo (USP). São Paulo , SP, Brasil
• Assunto(s): Especificação de sistemas e programas Redes de Petri
• Palavra(s)-Chave do Pesquisador: Analise De Sistemas | Redes De Petri | Simulacao Discreta

Resumo

Os conceitos de simulação e redes de Petri foram concebidos como ferramentas para o projeto de sistemas e a combinação delas é fundamental para o projetista ou analista de sistemas. Entretanto, apesar de existirem diversos trabalhos com versões de editores/simuladores de Redes de Petri para análise sistemas, eles em geral se restringem às derivações específicas da teoria de redes de Petri e, o que consideramos mais importante, não exploram a capacidade de hierarquização (encapsulamento, ou descrição hierárquica) que a rede possui para a modelagem de sistemas de maior porte e complexos. Assim, baseado nos diversos trabalhos desenvolvidos sobre a metodologia do PFS/MFG (Production Flow Schema/Mark Flow Graph) que comprovam sua efetividade para a concepção de modelos, o objetivo do presente projeto é a implementação de uma editor e simulador de redes de Petri que utiliza o PFS/MFG para o desenvolvimento de modelos hierarquizados de sistemas. (AU)