Está en la página 1de 48

Ingeniera en Software

Matemticas Discretas Alumno: Paul Vega Rodrguez Facilitador: Luis Miguel Venegas Hernndez

Redes de Petri
Modelo de Redes

REDES DE PETRI
Definicin Historia Estructuras bsicas Ventajas Desventajas Aplicaciones Propiedades Subclases Mtodos de anlisis Conclusiones Bibliografa

Las redes de Petri son representaciones graficas que permiten modelar sistemas con flujo de informacin, mostrando la informacin importante sobre su estructura y comportamiento dinmico. Pueden considerarse como generadores de lenguaje o autmatas formales asociados a la teora de grafos. Por sus caractersticas, son de gran utilidad para el diseo, especificacin y simulacin de sistemas de hardware o software; permiten representar procesos concurrentes y modelamiento matemtico del sistema.

DEFINICION

HISTORIA
Surgen en 1962 con el trabajo doctoral de Carl Adam Petri "Kommunikation mit Automaten" (Comunicacin con autmatas), en Alemania. Petri formul la base para una teora de comunicacin entre componentes asncronos de un sistema de cmputo. El trabajo del proyecto Systemics proporcion la teora primaria, notacin y representacin de las Redes de Petri. Posteriormente, en el artculo titulado "Events and Conditions", publicado en 1970, Holt y Commoner muestran como las Redes de Petri pueden aplicarse al modelado y anlisis de sistemas con componentes concurrentes. En la actualidad, existe gran difusin de los avances en Redes de Petri y prcticamente existe una sola corriente entre los investigadores

Estructuras Bsicas
Las redes de Petri tienen dos tipos de nodos: lugares (representados mediante circunferencias) y transiciones (representados por segmentos rectos verticales). Contienen arcos o flechas y marcas o Tokens que se ubican en las plazas o lugares de la red y definen su ejecucin. Los componentes se pueden relacionar de mltiples formas, tanto los lugares como las transiciones pueden ser origen y destino de varias transiciones o lugares. Cada lugar tiene asociada una accin o salida y los que contienen marcas se consideran lugares activos. Por otra parte, cuando todos los lugares de una transicin estn marcados, dicha transicin se considera sensibilizada. La transicin estar validada cuando ocurra un evento relacionado con esta.

VENTAJAS
Facilidad de interpretacin del sistema pues el esquema es grfico e ilustrativo. Permiten tratar procesos independientes de forma individual. Proporcionan un modelamiento ms exacto que los diagramas de estados para problemas complejos. Permiten modelar sistemas donde un recurso es compartido por dos procesos diferentes. Se pueden sintetizar de forma bottom-up o topdown. Permiten modelar procesos concurrentes.

DESVENTAJAS
Las redes de Petri generales no pueden modelar ciertas situaciones de prioridad. Pueden presentarse problemas de anlisis de acuerdo a la complejidad del sistema modelado. Para un mayor alcance en el modelamiento, el tiempo y el consumo de espacio aumentan considerablemente. Existen muchas subclases del modelo general de redes de Petri generadas para diferentes problemas especficos.

APLICACIONES
Modelamiento de sistemas o aplicaciones que se ejecutan en tiempo real. Sistemas operativos y compiladores. Hardware y Software de computadores Redes de libre eleccin, que permiten modelar ambientes industriales de produccin. Diagramas de Flujo de Datos (DFD) Protocolos de Comunicacin Bases de Datos.

REDES DE PETRI: PROPIEDADES


Las propiedades de las redes de Petri nos permiten detectar fenmenos de inters o errores de funcionamiento en el sistema que modelan.

CUALES SON SUS PROPIEDADES


Vivacidad Ciclicidad Limitacin Conservacin Conflictividad Exclusin mutua

VIVACIDAD
La propiedad de vivacidad es muy importante porque sirve para caracterizar el bloqueo total o parcial de un sistema. Una RdP marcada es viva si cada una de sus transiciones es viva.

CICLICIDAD
Una RdP para un marcado inicial M0 se dice que posee un comportamiento globalmente cclico, si existe una secuencia de disparos que permite alcanzar el marcado inicial M0 a partir de cualquier marcado Mi sucesor de M0.

LIMITACIN
El inters de la limitacin de una red es que garantiza la finitud de sus marcados alcanzables. Desde un punto de vista prctico, una red k-limitada puede implementarse con un conjunto de recursos finitos.

CONSERVACION
El concepto de conservacin est relacionado con el nmero de recursos disponibles, que no puede variar durante la ejecucin de la red de Petri. La manera ms simple de conseguirlo es requerir que el nmero total de testigos en la red permanezca constante. Sin embargo, la conservacin estricta es una relacin muy fuerte y normalmente conviene hablar de conservacin con respecto a un vector peso.

CONFLICTIVIDAD
Se dice que en una RdP existe un conflicto estructural cuando un lugar posee ms de una transicin de salida. Se dice que dos transiciones ti y tj estn en conflicto efectivo para M0 si: Existe un marcado alcanzable desde M0 que sensibiliza simultneamente a ti y tj. Si al dispararse ti (tj) el marcado que se obtiene no habilita a tj (ti).

EXCLUSIN MUTUA
Un conjunto de transiciones Te T se dice que son mutuamente exclusivas si el disparo de cualquier transicin ti Te genera un marcado en el cual todas las dems transiciones tj Te, i j, se deshabilitan. Se dice que dos plazas de una red de Petri estn en exclusin mutua para un marcado M0 si no pueden estar marcadas simultneamente en los marcados alcanzables a partir de M0.

REDES DE PETRI: SUBCLASES


Las redes de Petri, a pesar de basarse en unas reglas bastante simples, pueden exhibir comportamientos muy complicados. Como consecuencia, se han introducido clases restringidas de redes de Petri, que son ms fciles de analizar, y se han estudiado sus propiedades. El objetivo que se persigue al definir una subclase de red de Petri es que pueda modelar una gran variedad de sistemas y que, al menos para los problemas de inters, se puedan utilizar procedimientos de anlisis simples.

SUBCLASES DE REDES DE PETRI


Grafos de estados (GE) o mquinas de estados (ME) Grafo marcado (GM) o grafo de sincronizacin Red de libre eleccin (RLE) Red de Petri simple (RS)

GE O ME
Son RdP en las que cada transicin ha de tener exactamente una entrada y una salida. Una mquina de estados es estrictamente conservativa y muy sencilla de analizar, pero tiene un inters muy limitado debido a su escasa potencia de modelado. Puede representar conflictos o alternativas, pero no paralelismo, concurrencia ni sincronizacin.

GM
Es una RdP en la que cada plaza tiene exactamente una entrada y una salida. Los grafos marcados pueden representar paralelismo, concurrencia y sincronizacin, pero no conflicto o decisiones dependientes de datos.

RLE
Es aquella en la que cada plaza p es o bien la nica plaza de entrada de una transicin o hay como mucho una transicin que tiene p como una plaza de entrada. Esta subclase permite el modelado de concurrencia y conflicto, pero de una manera ms restringida que en el modelo general. Segn la definicin de las redes de Petri libres de eleccin, si una plaza es la entrada de varias transiciones (conflicto potencial), es la nica entrada de estas transiciones. Por tanto, o bien todas estas transiciones conflictivas estn simultneamente habilitadas o ninguna de ellas lo est.

RS
Es aquella en la que cada transicin tiene como mximo una plaza de entrada compartida con otra transicin.

MTODOS DE ANLISIS
Las basadas en el rbol de alcanzabilidad Las basadas en las ecuaciones matriciales o de estado.

ANLISIS A PARTIR DEL RBOL DE ALCANZABILIDAD


Analizando el rbol de alcanzabilidad se puede obtener una informacin detallada del comportamiento del sistema modelado. El anlisis del rbol de alcanzabilidad se puede utilizar para determinar si la red de Petri es una representacin vlida del sistema modelado, para verificar la correccin de un diseo, para elegir la mejor entre varias propuestas o para predecir el comportamiento del sistema. La principal desventaja es que el rbol de alcanzabilidad puede hacerse complejo, grande e inmanejable.

ANLISIS MATRICIAL DE UNA RED DE PETRI


El anlisis de las redes de Petri mediante tcnicas matriciales es muy prometedor, pero presenta tambin severos problemas. La matriz C, por s sola, no refleja totalmente la estructura de la red. El vector de disparo no da informacin sobre el orden en que se lleva a cabo el disparo de las transiciones. Slo informa de qu transiciones se disparan y cuntas veces.

Adems, el que exista solucin para la ecuacin M=M +f( ) C es una condicin necesaria, pero no suficiente, para que el marcado sea alcanzable; puede ocurrir que la solucin encontrada no se corresponda con ninguna secuencia de disparos permitida.

MODELO DE REDES
DEFINICION CONCEPTOS BSICOS TIPOS DE MODELOS DE REDES MODELO DE RUTA MAS CORTA (MRC) EJEMPLO MODELO DE RBOL DE EXPANSIN MNIMA (AEM) EJEMPLO MODELO DE RED DE FLUJO MXIMO EJEMPLO MODELO GENERALDE FLUJO DE COSTO MINIMO EJEMPLO CONCLUSIONES BIBLIOGRAFIA

DEFINICIN
Los modelos de administracin de redes se aplican a numerosos casos de la ciencia de a administracin, en particular relacionados con la optimizacin de redes de transporte, logstica, redes elctricas o de comunicacin, pero tambin en programacin y seguimiento de procesos, en marketing, recursos humanos y finanzas.

CONCEPTOS BSICOS Arista Nodo Capacidad Sumidero (z) Fuente (a) Red

ARISTA
Segmento de recta dirigido de un punto a otro.

NODO
Es el punto de interseccin de dos o ms aristas.

CAPACIDAD
En una red, es la capacidad mxima de una arista cualquiera.

SUMIDERO (Z)
Es el punto de llegada del flujo total de una red.

FUENTE
Punto de partida del flujo total de la red.

RED
Es un grafo dirigido formado por una fuente, un sumidero, aristas y nodos.

MODELO DE RUTA MAS CORTA (RMC)


Los problemas de la ruta RMC se considera una red conexa y no dirigida con 2 nodos especiales, llamados origen y destino. A cada una de las ligaduras (arcos no dirigidos) se asocia una distancia no negativa. El objetivo del analisis es encontrar la ruta mas corta, es decir, la trayectoria con la minima distancia total, que va del origen al destino.

EJEMPLO RCM

MODELO DE RBOL DE EXPANSIN MNIMA (AEM)


Los problemas de AEM se considera una red conexa y no dirigida. Cada ligadura esta unida a una medida de longitud positiva (distancia, costo, etc.). Se trata de crear un rbol de expansin, problema til en la planeacin de redes de transporte que no se transitaran mucho y en las que la inquietud principal es proporcionar alguna trayectoria entre todos los pares de nodos de la manera mas econmica. La resolucin de este problema consiste en elegir, desde cualquier nodo la rama mas corta posible a otro nodo, simplemente este proceso se repite hasta que se hayan conectado todos los nodos.

EJEMPLO AEM

MODELO DE RED DE FLUJO MXIMO


Su objetivo es maximizar el flujo por unidad de tiempo entre el nodo origen y el destino, teniendo en cuanta las capacidades mximas por unidad de tiempo de cada tramo.

El Flujo Total Es 14

MODELO GENERALDE FLUJO DE COSTO MINIMO


El objetivo del modelo es minimizar el costo total de transportar los recursos disponibles en los nodos de origen a travs de la red para abastecer la demanda en los nodos de tipo destino.

Ejemplo Flujo de Costo Mnimo

CONCLUSIONES
Las RDP han demostrado desde hace mas de 45 anos su utilidad practica en muchas reas y en especial, en el modelado de sistemas complejos. A pesar de la gran cantidad de publicaciones existentes, su divulgacin en el mbito es muy limitada. Este trabajo permite generar conciencia en el lector sobre el impacto de las mismas en el diseo e implementacin de algoritmos de control para controladores lgicos programables.

BIBLIOGRAFA
http://antares.itmorelia.edu.mx/~fmorales/Sis DisII/aRedesPetri01.pdf http://www.uhu.es/diego.lopez/AI/auto_trans -tema3.PDF http://www.monografias.com/trabajos14/red esdepetri/redesdepetri.shtml http://webdiis.unizar.es/~joseluis/TPN&RT.p df http://www.worldlingo.com/ma/enwiki/es/Petr i_net

CONCLUSIONES
Las RDP han demostrado desde hace mas de 45 anos su utilidad practica en muchas reas y en especial, en el modelado de sistemas complejos. A pesar de la gran cantidad de publicaciones existentes, su divulgacin en el mbito es muy limitada. Este trabajo permite generar conciencia en el lector sobre el impacto de las mismas en el diseo e implementacin de algoritmos de control para controladores lgicos programables.

BIBLIOGRAFA
http://antares.itmorelia.edu.mx/~fmorales/Sis DisII/aRedesPetri01.pdf http://www.uhu.es/diego.lopez/AI/auto_trans -tema3.PDF http://www.monografias.com/trabajos14/red esdepetri/redesdepetri.shtml http://webdiis.unizar.es/~joseluis/TPN&RT.p df http://www.worldlingo.com/ma/enwiki/es/Petr i_net