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

• Processo: 96/11164-7
• Linha de fomento: Bolsas no Exterior - Pesquisa
• Vigência (Início): 01 de maio de 1997
• Vigência (Término): 30 de abril de 1998
• Área do 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
• 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
• Local de pesquisa: Aarhus University, Dinamarca
• Assunto(s): Modelagem de sistemas Redes de Petri Simulação 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)