Busca avançada
Ano de início
Entree

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)