Rodrigo Alberto Santos Alcaraz 466130

1
Platform Independent Petri net Editor 2

• Rodrigo Alberto Santos Alcaraz 466130
• Angel Gonzalez Desentis 465824
• José Antonio Cano Rodríguez 465671

2
GSPN

• GSPN (S T p IOHM0W)
• where
• S is a set of places
• T is a set of transitions, S n T Ø
• IOH T N (N S U T), are the input,
  output and inhibition functions
• M0 S IN is the initial marking
• p T IN is the priority function that
  associates the lower priorities to timed
  transitions and higher priorities to immediate
  transitions. Immediate transitions therefore
  always have priority over timed ones.
• W T R is a function that associates a
  real value to the transitions. w(t) is
• a (possibly marking dependent) rate of a
  negative exponential distribution specifying the
  firing delay, when transition t is a timed
  transition (represented by a hollow rectangle).
• a (possibly marking dependent) ring weight,
  when transition t is immediate (represented by a
  filled rectangle).

3
Redes de Petri Estocásticas Generalizadas (GSPN)

• Las GSPN asocian el tiempo sólo con los eventos
  que tengan un mayor impacto sobre el
  comportamiento del sistema. En el caso de un
  sistema que realice tareas cuya duración difiera
  en varios órdenes de magnitud, las actividades
  cortas se pueden modelar sólo desde el punto de
  vista lógico y el tiempo se puede asociar con las
  más largas . De esta manera, se reduce la
  complejidad del calculo de la solución.

4
Redes de Petri Estocásticas Generalizadas (GSPN)

• Las redes de Petri Estocásticas Generalizadas
  (GSPN) tienen transiciones de dos clases
  diferentes inmediatas y temporizadas.
• Las transiciones inmediatas se disparan
  instantaneamente (en tiempo cero) una vez que
  están habilitadas .
• Las transiciones temporizadas se disparan después
  de un tiempo de habilitación aleatorio
  exponencialmente distribuido.

5
Redes de Petri Estocásticas Generalizadas (GSPN)

• Las transiciones inmediatas tienen una prioridad
  más alta que las temporizadas.
• Cuando existen varias transiciones inmediatas ,
  es necesario especificar una función de
  probabilidad sobre el conjunto de transiciones
  inmediatas habilitadas de acuerdo con la cual se
  seleccione la transición a disparar.

6
Redes de Petri Estocásticas Generalizadas (GSPN)

• Con las GSPN se reduce el espacio de estados y se
  permite modelar sistemas más grandes con un
  esfuerzo menor.
• El conjunto de estados de una GSPN se puede
  dividir en dos subconjuntos disjuntos
• El subconjunto de estados tangibles que sólo
  habilitan transiciones temporizadas.
• El subconjunto de estados evanescentes que
  habilitan transiciones inmediatas.
• Los estados evanescentes pueden ser absorbidos
  por los tangibles reduciendo aún más el espacio
  de estados a analizar.

7
Qué es?

• PIPE2 es una herramienta de plataforma
  independiente para la creación y el análisis de
  redes de Petri incluyendo redes de Petri
  Estocasticas Generalizadas.
• El proyecto empezó en 2002/3 como un proyecto del
  departamento de Computo del Imperial College
  London.

8
Características

• GRATIS
• Interface Fácil de Usar
• Modela redes de transición de Lugar y redes de
  Petri Estocásticas Generalizadas
• Muchos módulos de análisis incluyendo el análisis
  avanzado GSPN
• Manejan cientos de miles de estados y eliminan
  estados desaparecidos 'en marcha
• Puede exportar redes de Petri como archivos PNG
• Open Source

9
Fuentes de Información

• Mercedes Granda. Extensiones de las redes de
  Petri http//www.ctr.unican.es/asignaturas/MC_Pro
  Con/Doc/PETRI_4.pdf (2 de Marzo de 2008)
• Pere Bonet, Catalina M. Llado, Ramon Puigjaner y
  William J. Knottenbelt. Petri Net Tool for
  Performance Modeling http//pipe2.sourceforge.net
  /
• (2 de Marzo de 2008)