Algoritmo de resolucao de gspns atraves de tecnicas de particionamento.

• Processo: 95/09394-1
• Modalidade de apoio: Bolsas no Brasil - Mestrado
• Data de Início da vigência: 01 de agosto de 1996
• Data de Término da vigência: 31 de agosto de 1997
• Área de conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Matemática da Computação
• Pesquisador responsável: Luis Carlos Trevelin
• Beneficiário: Paulo Alexandre Bressan
• Instituição Sede: Centro de Ciências Exatas e de Tecnologia (CCET). Universidade Federal de São Carlos (UFSCAR). São Carlos , SP, Brasil
• Assunto(s): Cadeias de Markov
• Palavra(s)-Chave do Pesquisador: Cadeias De Markov | Cspn | Gspns | Petri Nets | Redes Estocasticas | Tpn

Resumo

O projeto envolve o estudo de técnicas de solução de grandes cadeias de Markov, principalmente por técnicas de partição e agregação de estados. O problema com as GSPNs, é que elas geram grandes cadeias de Markov, sendo necessária a análise dessas técnicas e o desenvolvimento de novos algoritmos para sua solução. Outras técnicas, tais como a de coloração de tokens, também tratam desse problema. Finalmente será implementado um Resolvedor de GSPNs para o protótipo da ferramenta de Avaliação de Desempenho de Aplicações Distribuídas de Tempo Real. (AU)