tutorial redes de preti

Tutorial Redes de Petri

En el siguiente documento son mostrados los pasos básicos para la creación y simulación de una red de
Petri, empleando el simulador HPSIM
El objetivo de este tutorial será crear y simular la Red de Petri mostrada en la Figura 1

Figura 1. Red de Petri ejemplo, empleada durante el tutorial

1. El simulador cuenta con un menú para crear los lugares, transiciones yarcos entre ellos, en la Figura
2 son mostradas las opciones que permiten la creación de los elementos básicos de una Red de
Petri. Una de las opciones para la creación de los elementos básicos es emplear el menú “Tools” del
simulador, la otra opción es emplear los botones que se encuentran en la parte izquierda de la
ventana

Figura 2. Distribución de las herramientas para la creación deRedes de Petri en el simulador HPSIM

2. Iniciaremos creando los 3 lugares que aparecen en la Red de Petri tomada como ejemplo en este
tutorial, para ello, nos dirigimos al menú “Tools”, elegimos la opción “Place” y damos click en el lugar

del área de trabajo en que queramos ubicarla. En este paso se debe obtener algo como lo mostrado
en la Figura 3

Figura 3. Creación de los lugaresasociados a la Red de Petri ejemplo

3. El siguiente paso consiste en establecer los parámetros de cada uno de los lugares creados en el
paso anterior. Para ello, diríjase al menú “Tools” y elija la opción “Select” (ver Figura 4). De esta
manera, el simulador le permitirá elegir alguno de los elementos que se encuentran en el área de
trabajo y cambiar sus propiedades. Si se hace click sobre uno delos lugares, aparecerá una ventana
en la parte izquierda de la ventana como la mostrada en la Figura 5. Allí se observan las propiedades
asociadas a este elemento: nombre, tamaño, mostrar nombre, mostrar capacidad, número inicial de
tokens, número actual de tokens, capacidad y contador de tokens. En la Tabla 1 se muestra una
explicación de cada uno de los campos mencionados. Para el ejemplodel tutorial, es necesario
establecer el número inicial de tokens del lugar 0 (P0) en 3, del lugar 1 (P1) en 0 y del lugar 2 (P2) en
1

Figura 4. Opción de selección del simulador

Figura 5. Ventana de propiedades de un lugar

Propiedad
Name
Size
Show Name
Show Capcity
Initial Tokens
Current Tokens
Capacity
Tokens Count

Significado
Esta propiedad permite modificar el nombreasociado a un lugar específico
Esta propiedad determina el tamaño del elemento en el área de trabajo. Puede
tomar los siguientes valores: very small, small, normal, big, very big
Determina si se muestra el nombre del elemento en el área de trabajo. Los valores
que puede tomar son: true, false
Determina si se mostrará la capacidad del lugar (número de tokens que puede
almacenar) en el área detrabajo. Valores que puede tomar: true, false
Determina el número inicial de tokens que tendrá el lugar al inicio de la simulación
Muestra el número actual de tokens almacenados en un lugar en un momento
determinado de la simulación
Determina la capacidad del lugar para almacenar tokens. Puede tomar cualquier
valor entero
Esta propiedad almacena un contador con el número de tokens que hanllegado a
este lugar durante la simulación
Tabla 1. Propiedades asociadas a un lugar

4. El siguiente paso consiste en crear las dos transiciones mostradas en el ejemplo tomado como base
para el tutorial (ver Figura 1). Para hacer esto, diríjase al menú “Tools”, elija la opción “Transition”
(ver Figura 6) y haga click sobre el lugar del área de trabajo en donde ubicará las transiciones

Figura6. Creación de una transición

5. Al igual que un lugar, una transición tiene varias propiedades, a través de las cuales puede ser
modificado su comportamiento. En la Tabla 2 son mostradas estas propiedades y se realiza una
breve explicación de cada una de ellas. Se añadirá un retardo determinístico a la transición de la
izquierda (T0) de 1 segundo, este valor debe ser especificado en la...