Modelado de Sistemas con Redes de Petri

Giovanni Sinhue Camacho Ruiz Ernesto Martn Rocha Ronquillo Cienfuegos Ortiz Edgar Ivn

Sistemas Dinmicos

Definicin de Modelo
Es una representacin aproximada de un sistema dinmico. Incluye: Propiedades parmetros del sistema. y internos

Definicin de entradas y salidas del sistema.

Herramientas de Modelado
Las herramientas de modelado, permiten crear un "simulacro" del sistema, a bajo costo y riesgo mnimo.
A bajo costo porque, al fin y al cabo, es un conjunto de grficos y textos que representan el sistema, pero no son el sistema fsico real (el cual es ms costoso). Adems minimizan los riesgos, porque los cambios que se deban realizar (por errores o cambios en los requerimientos), se pueden realizar ms fcil y rpidamente sobre el modelo que sobre el sistema ya implementado.

Herramientas de Modelado
Algunas herramientas de modelado
Diagrama de flujo de datos. Diagrama de entidad relacin. Diagrama de transicin de estados. Diccionario de datos. Especificacin de procesos. Redes de Petri Diagrama de clases.

Introduccin a las Redes de Petri

Herramienta de modelado de sistemas secuenciales discretos y concurrentes. Permiten visualizar el comportamiento dinmico de un sistema. Es un grafico orientado, formado por los siguientes elementos:
Elementos estticos:
Lugares: llevan asociados acciones Transiciones: Permiten evolucionar el sistema de un lugar a otro. Arco orientados: Unen lugares con transiciones o viceversa. Marcas: se sitan en los lugares, Representan el estado del sistema en cada momento.

Elementos dinmicos:

Introduccin a las Redes de Petri

Marca

Arco Orientado

Transicin Lugares

Introduccin a las Redes de Petri

Una transicin esta sensibilizada si todos sus lugares de entrada estn marcados. Una transicin sensibilizada puede dispararse. Disparo: evolucin de estado. Retirada de una marca de cada lugar de entrada para ser depositada en cada lugar de salida.

Evolucin de una Red de Petri

Transicin 1 (Evento 1) Transicin 2 (Evento 2) Transicin 3 (Evento 3) Lugar B El sistema ha evolucionado hasta el lugar A La transicin 2 se disparara cuando el lugar A este marcado y se active el evento 2 La transicin 2 disparada desmarcara el lugar A y marcara el lugar B.

*
Lugar A

Lugar C

Evolucin de una Red de Petri

Transicin 1 (Evento 1) Transicin 2 (Evento 2)

Lugar A

*
Lugar B

Transicin 3 (Evento 3)

El sistema ha evolucionado hasta el lugar B La transicin 3 se disparara cuando el lugar B este marcado y se active el evento 3 La transicin 3 disparada desmarcara el lugar B y marcara el lugar C.

Lugar C

Evolucin de una Red de Petri

Modelado de Sistemas en Redes de Petri

Podemos modelar sistemas complejos con Redes de Petri, dividiendo el sistema en eventos, condiciones y lugares, entonces :
Identificamos todos los estados posibles. Identificamos todas las condiciones de transicin, parmetros y variables que se involucran en el sistema. Establecemos todos los eventos que pueden tomar cada estado.

Modelado de Sistemas en Redes de Petri

Problema: Se pretende que el coche vaya de a hacia b y vuelva. Existe un botn de puesta en marcha. En el inicio el coche est en a

Transiciones: m: puesta en marcha. a : sensor llegada a izquierda. b : sensor llegada a derecha. Lugares: I : indica desplazamiento a izquierda. D : indica desplazamiento a derecha.