METODOS CUANTITATIVOS Y DE SIMULACIN

1
PEPA tools Performance Evaluation Process
Algebra Manuel Alejandro Magaña Torres   342722
Jorge Adrián García Jiménez 967292
Jonathan Fragoso Martínez 967583 Maricela
del Carmen Obeso Pulido 967171

• METODOS CUANTITATIVOS Y DE SIMULACIÓN

2
PEPA Workbench

• PEPA Workbench es una herramienta de software
  que soporta modelos de PEPA.
• Esta disponible en dos sabores
• Standard ML edition
• Java edition.

3
Descargando PEPA Workbench

• Abrir página http//www.dcs.ed.ac.uk/pepa/tools/

4
Descargando Java Edition
Guardar y Extraer contenido
5
PEPA Workbench

• En el contenido de la carpeta Workbench se
  encontrara un carpeta llamada Lib.
• Dar doble clic en el archivo Ejecutabe Jar
• PEPAWorkbench

6
Welcome to PEPA Workbench!!
7
Sintaxis

• Para designar a los procesos que trabajan
  concurrentemente les ponemos con
  los símbolos de comparación Plta,bgtQ
• Si trabajan en paralelo PltgtQ ó PQ.
• Para designar a la T ponemos el string infty.
• Después de cada prefijo lleva
• Para asignar un comentario se pone
  //mi_comentario
• / mi_multicomentario/

8
Sintaxis

• P (a,r).P Prefijo con tasa r
• P(b,2).P Prefijo con tasa 2
• P(c,2.0r).P Prefijo con tasa 2.0r
• P(d,infty).P Prefijo con tasa infinita
• P(a,r).P(b,2).P Elección de prefijos
• Plta,bgtQ Concurrencia
• (PP)lta,bgt(QQ) Concurrencia con varios
  procesos del mismo tipo

9
Ejemplo Web

• Browser (display,0.4lambda).(cache,m).Browser
• (display,0.6lambda).(get,g).(download,
  T).(rel, r).Browser
• Server (get,T).(download,mu).(re,T).Server

10
Ejemplo Web

• lambda 0.05
• m0.1
• g 0.01
• r0.001
• mu 1.0
• Browser (display,0.4lambda).(cache,m).Browser
• (display,0.6lambda).(get,g).(download,infty).(r
  el,r).Browser
• Server (get,infty).(download,mu).(rel,infty).Ser
  ver
• Browserltget,download,relgtServer

11
Cargando modelos

• Seleccionar la opción Load from file del menú
  File
• El campo Current Model muestra el modelo
  actual.

12
Cargando modelos

• La carpeta workbench tiene una carpeta de models
  para guardar los modelos con los que se trabajará.

13
State Output

• Seleccionar Derive To Screen Uncompressed

14
State Output

• State Output muestra los estados del modelo

15
Steady State

• Seleccionar Solvers linear biconjugate
  gradient method(lbgm)

16
Steady State

• Muestra las probabilidades de los estados.

17
PEPA State Finder

• Te permite encontrar la probabilidad de los
  estados asociados con un estado o un patrón.
• En el cuadro de texto de arriba están todas las
  representaciones secuenciales .
• Es cuadro de abajo es el panel del estado o el
  patrón que se va a evaluar.
• Se puede usar para decirle al programa que
  cualquier proceso se puede remplazar ahí.
• Run -gt Evaluar y guardar en archivo .psf
• Clear-gt Borrar el patrón y el búffer

18
(No Transcript)
19
Single Step Debugger

• Con esta ventana podemos ver las transiciones que
  se hacen y poder navegar de estado en estado.