Escolar Documentos
Profissional Documentos
Cultura Documentos
1 Introduo
O HPSim um software para simulao de redes de Petri que apresenta uma
interface intuitiva de fcil utilizao. Entre suas vantagens est a possibilidade do
acompanhamento da evoluo do estado da rede de uma forma grfica, o que auxilia no
desenvolvimento do modelo e na deteco de erros. Ele permite ainda a gravao do
resultado da simulao e seu posterior tratamento em softwares como o Microsoft Excel,
uma caracterstica essencial para a anlise do sistema modelado.
Alm do modelo bsico de redes de Petri (Petri Lugar/Transio), ele permite ainda a
simulao de redes de Petri Temporais e redes de Petri Estocsticas, alm da utilizao de
arcos inibidores e habilitadores.
A diferena entre os trs tipos de rede de Petri est nas transies.
Nas redes de Petri Lugar/Transio, as transies so instantneas e so disparadas
assim que estiverem habilitadas, de acordo com a poltica de disparo do HPSim.
Nas redes de Petri T-Temporais associa-se um intervalo de tempo a cada transio.
Uma vez que a transio 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
transio, ento o disparo no ocorre e, quando a transio se tornar novamente habilitada,
inicia-se uma nova contagem do tempo.
Nas redes de Petri Estocsticas, o tempo associado a cada transio no fixo, mas
obedece a uma distribuio estocstica. O simulador HPSim permite a utilizao de dois
tipos de distribuio: exponencial e uniforme.
A distribuio exponencial definida pela taxa mdia de disparo (). O tempo mdio
de disparo de uma transio aps a sua habilitao ento =1/.
A distribuio uniforme definida por um limite inferior e um limite superior para o
tempo de disparo da transio.
2 Instalao do Programa
O programa HPSim est disponvel para download no site da disciplina ou no seguinte
endereo
http://home.t-online.de/home/henryk.a/petrinet/e/hpsim_e.htm.
arquivo,
Barra de simulao
Barra de edio
Tabela de
propriedades
Janela de
edio do
modelo
3 Construo de Modelos
Para adicionar lugares, transies e arcos ao modelo utiliza-se a Barra de Edio
(Figura 2):
Selecionador
Lugar
Elementos grficos
Arco
Transio
Para adicionar um novo elemento ao modelo em redes de Petri basta selecionar o item
correspondente e clica-se na Janela de edio do modelo. Por default a transio criada
sempre instantnea, para mudar o tipo de transio utiliza-se a Tabela de propriedades.
Semelhantemente, o arco criado sempre orientado.
Para selecionar um elemento j existente da Janela de edio, utiliza-se o item
Selecionador. Os item Elementos grficos permitem a adio de texto e formas
geomtricas que no interferem na execuo do modelo em redes de Petri, mas podem
facilitar a sua visualizao e compreenso.
A Tabela de propriedades apresenta as propriedades do elemento selecionado na
Janela de edio. Exemplos das propriedades para lugares, transies e arcos so
apresentados na Figura 3.
a) transio
instantnea
b) transio temporal
ou estocstica
a) arco
orientado
b) arco
inibidor
c) arco
habilitador
Uma vez construdo o modelo em redes de Petri, o mesmo pode ser utilizado em
outros programas atravs da opo no menu principal File / Export. A opo Document
salva o modelo grfico em redes de Petri completo na forma de um arquivo bitmap (*.bmp).
A opo View salva em bitmap apenas a parte visvel da Janela de edio. A opo Net
gera um arquivo texto com as caractersticas do modelo. A opo File gera um arquivo
(tambm em texto) com um formato particular (*.hpx) que teoricamente ser compatvel com
as futuras verses do HPSim.
4 Simulao
Uma vez construdo o modelo em rede de Petri, o passo seguinte simular.
Para ajustar os parmetros de simulao utiliza-se a opo do menu principal Extra /
Proprieties / Simulation. A janela obtida apresentada na Figura 6. O campo Output File
utilizado para definir o arquivo onde ser gravado o resultado da simulao.
NO
Existem transies
habilitadas?
SIM
Dispara uma ou mais
transies habilitadas.
Incrementa o nmero de
passos de uma unidade.
Atingiu o nmero
mximo de passos?
NO
SIM
NO
SIM
Incrementa o tempo.
Fim da simulao
Reinicializa
a rede
Pausa
Avana em
velocidade
normal
Registra
Modo
Avana Avana em
dados
simulao 1 passo velocidade
rpida
O primeiro passo para iniciar a simulao selecionar o modo operao. Neste modo,
a rede no pode ser modificada, nem os parmetros de simulao.
A simulao pode ser executada de trs formas: passo a passo, atravs da tecla
Avana 1 passo, em velocidade normal, onde visualiza-se graficamente a evoluo do
estado da rede, e em velocidade rpida, onde visualiza-se apenas o estado final. Quando
N. de
passos
Tempo