GSPN - rede de Petri estocástica generalizada

[Granda, 1992]

Tabela 1.9: Características da técnica de análise de desempenho usando GSPNs.

Nome	GSPN
Sistema aplicado	software (também pode ser aplicado para análise de hardware)
Abordagem para obtenção dos resultados	analítico, simulação
Forma de medição ou instrumentação	não se aplica
Tipos de dados gerados pela análise	não se aplica
Arquitetura	sistemas paralelos
Informações fornecidas	medidas do comportamento do sistema (tempo gasto por ciclo, tempo gasto por cada tarefa no ciclo, tempo de espera entre os eventos)
Análise (sistema alvo)	sistemas multiprocessados

O motivo principal que levou Granda a propor uma técnica baseada em redes de Petri estocásticas generalizadas foi a limitação das redes de Petri comuns em modelar sistemas paralelos complexos que possuiam lugares ilimitados (e conseqüente explosão do número de estados analisados). A similaridade desse tipo de rede de Petri com cadeias de Markov foi outro fator importante na escolha da técnica (os estados de uma GSPN correspondem aos estados de sua cadeia de Markov equivalente). A transformação da rede de Petri em cadeia de Markov acontece quando são aplicadas as técnicas de agregação de estados (horizontal e vertical), seguindo o diagrama mostrado na descrição da técnica.