Uma abordagem à modelagem e simulação de sistemas de computação

• Processo: 96/11164-7
• Modalidade de apoio: Bolsas no Exterior - Pesquisa
• Data de Início da vigência: 01 de maio de 1997
• Data de Término da vigência: 30 de abril de 1998
• Área de conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Sistemas de Computação
• Pesquisador responsável: Norian Marranghello
• Beneficiário: Norian Marranghello
• Pesquisador Anfitrião: Kurt Jensen
• Instituição Sede: Instituto de Biociências, Letras e Ciências Exatas (IBILCE). Universidade Estadual Paulista (UNESP). Campus de São José do Rio Preto. São José do Rio Preto , SP, Brasil
• Instituição Anfitriã: Aarhus University, Dinamarca
• Assunto(s): Modelagem de sistemas Redes de Petri Simulação de sistemas
• Palavra(s)-Chave do Pesquisador: Modelagem De Sistemas | Redes De Alto Nivel | Redes De Petri Coloridas | Simulacao De Sistemas

Resumo

Sistemas de computação podem ser analisados sob vários aspectos e em diversos níveis de abstração. Qualquer que seja o enfoque deve-se sistematizar o processo de síntese para se obter um projeto comprovadamente correto. O objetivo deste trabalho é investigar uma abordagem para tratar eficientemente de sistemas de computação modernos. Pretende-se estudar redes de Petri coloridas e as possibilidades de suas aplicações no projeto, na análise e na verificação destes sistemas. (AU)