Hp sim

Manual HPSim

1 Introdução
O HPSim é um software para simulação de redes de Petri que apresenta uma interface intuitiva de fácil utilização. Entre suas vantagens está a possibilidade do acompanhamento da evolução do estado da rede de uma forma gráfica, o que auxilia no desenvolvimento do modelo e na detecção de erros. Ele permite ainda a gravação do resultado da simulação e seu posterior tratamento em softwares como o Microsoft Excel, uma característica essencial para a análise do sistema modelado. Além do modelo básico de redes de Petri (Petri Lugar/Transição), ele permite ainda a simulação de redes de Petri Temporais e redes de Petri Estocásticas, além da utilização de arcos inibidores e habilitadores. A diferença entre os três tipos de rede de Petri está nas transições. Nas redes de Petri Lugar/Transição, as transições são instantâneas e são disparadas assim que estiverem habilitadas, de acordo com a política de disparo do HPSim. Nas redes de Petri T-Temporais associa-se um intervalo de tempo a cada transição. Uma vez que a transição está habilitada deve-se aguardar este intervalo de tempo e em seguida ocorre o disparo. Se durante este intervalo ocorrer um evento que desabilite a transição, então o disparo não ocorre e, quando a transição se tornar novamente habilitada, inicia-se uma nova contagem do tempo. Nas redes de Petri Estocásticas, o tempo associado a cada transição não é fixo, mas obedece a uma distribuição estocástica. O simulador HPSim permite a utilização de dois tipos de distribuição: exponencial e uniforme. A distribuição exponencial é definida pela taxa média de disparo (λ). O tempo médio de disparo de uma transição após a sua habilitação é então µ=1/λ. A distribuição uniforme é definida por um limite inferior e um limite superior para o tempo de disparo da transição.

2 Instalação do Programa
O programa HPSim está disponível para download no site da disciplina ou no seguinte endereço