Hp sim

Disponível somente no TrabalhosFeitos
  • Páginas : 6 (1487 palavras )
  • Download(s) : 0
  • Publicado : 2 de março de 2013
Ler documento completo
Amostra do texto
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 posteriortratamento 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 dePetri 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 quedesabilite 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 pelataxa 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çohttp://home.t-online.de/home/henryk.a/petrinet/e/hpsim_e.htm. O arquivo,

HPSim.zip tem cerca de 1Mb.

Para instalar o programa basta descompactar o arquivo no diretório de sua preferência. Uma vez executado o programa, encontra-se uma janela semelhante à apresentada na Figura 1.
Barra principal Barra de simulação Barra de edição

Tabela de propriedades

Janela de edição do modelo

Figura 1. Componentes da janela principal do HPSim.

Osprincipais componentes desta janela são: • • • • • “Janela de edição do modelo”: onde é construído o modelo gráfico em redes de Petri. “Barra principal”: com os comandos tradicionais do Windows: salvar, abrir, fechar, imprimir, etc. “Barra de edição”: com os comandos específicos para construção do modelo em redes de Petri, apresentados no item 3. “Barra de simulação”: com os comandos específicospara simulação, que serão apresentados no item 4. “Tabela de propriedades”: onde são listadas as propriedades do elemento da rede que se encontra selecionado. É tratada em maiores detalhes no item 3.

3 Construção de Modelos
Para adicionar lugares, transições e arcos ao modelo utiliza-se a Barra de Edição (Figura 2):

Selecionador

Lugar

Arco

Elementos gráficos

Transição

Figura 2.Barra de Edição.

Para adicionar um novo elemento ao modelo em redes de Petri basta selecionar o item correspondente e clica-se na “Janela de edição do modelo”. Por default a transição criada é sempre instantânea, para mudar o tipo de transição utiliza-se a “Tabela de propriedades”. Semelhantemente, o arco criado é sempre orientado. Para selecionar um elemento já existente da “Janela deedição”, utiliza-se o item “Selecionador”. Os item “Elementos gráficos” permitem a adição de texto e formas geométricas que não interferem na execução do modelo em redes de Petri, mas podem facilitar a sua visualização e compreensão. A “Tabela de propriedades” apresenta as propriedades do elemento selecionado na “Janela de edição”. Exemplos das propriedades para lugares, transições e arcos são...
tracking img