CORPORATIVO INTERNACIONAL UNIVERSITARIO S.C.

PLANTEL ATLACOMULCO

NOBRE DEL ALUMNO:

GABRIEL ROMERO ROSALES

NOMBRE DE LA PROFESOR: MATERIA:

LIC. GABRIEL FLORES GONZALEZ MATEMATICAS COMPUTACIONALES

LICENCIATURA:

INFORMTICA ADMINISTRATIVA

CUATRIMESTRE:

GRUPO:

NICO

TRABAJO:

MODELOS DE REDES Y REDES DE PETRI

ATLACOMULCO, MX., A 3 DE MARZO DE 2012.

INTRODUCCION Las tcnicas de flujo de redes estn orientadas a optimizar situaciones vinculadas a las redes de transporte, redes de comunicacin, sistema de vuelos de los aeropuertos, rutas de navegacin de los cruceros, estaciones de bombeo que transportan fluidos a travs de tuberas, rutas entre ciudades, redes de conductos y todas aquellas situaciones que puedan representarse mediante una red donde los nodos representan las estaciones o las ciudades, los arcos los caminos, las lneas areas, los cables, las tuberas y el flujo lo representan los camiones, mensajes y fluidos que pasan por la red. Con el objetivo de encontrar la ruta ms corta si es una red de caminos o enviar el mximo fluido si es una red de tuberas. Cuando se trata de encontrar el camino ms corto entre un origen y un destino, la tcnica, algoritmo o el modelo adecuado es el de la ruta ms corta; aunque existen otros modelos de redes como el rbol de expansin mnima, flujo mximo y flujo de costo mnimo cada uno abarca un problema en particular. En este trabajo se mencionan los modelos de redes existentes y los problemas que abarca cada uno de ellos, adems se describen los algoritmos que aplican estos modelos para encontrar la solucin optima al problema. Utilizando la terminologa utilizada para representarlos como una red. MODELOS DE REDES Los problemas de optimizacin de redes se pueden representar en trminos generales a travs de uno de estos cuatro modelos:
Modelo de minimizacin de redes (Problema del rbol de mnima expansin). Modelo de la ruta ms corta. Modelo del flujo mximo. Modelo del flujo del costo mnimo. Modelo de minimizacin de redes

EL MODELO DE MINIMIZACIN DE REDES (problema del rbol de mnima expansin). Tiene que ver con la determinacin de los ramales que pueden unir todos los nodos de una red, tal que minimice la suma de las longitudes de los ramales escogidos. No se deben incluir ciclos en al solucin del problema.

Para crear el rbol de expansin mnima tiene las siguientes caractersticas: Se tienen los nodos de una red pero no las ligaduras. En su lugar se proporcionan las ligaduras potenciales y la longitud positiva para cada una si se inserta en la red. (Las medidas alternativas para la longitud de una ligadura incluyen distancia, costo y tiempo.) Se desea disear la red con suficientes ligaduras para satisfacer el requisito de que haya un camino entre cada par de nodos. El objetivo es satisfacer este requisito de manera que se minimice la longitud total de las ligaduras insertadas en la red. Una red con n nodos requiere slo (n-1) ligaduras para proporcionar una trayectoria entre cada par de nodos. Las (n-1) ligaduras deben elegirse de tal manera que la red resultante formen un rbol de expansin. Por tanto el problema es hallar el rbol de expansin con la longitud total mnima de sus ligaduras. Algoritmo para construir el rbol de expansin mnima: Se selecciona, de manera arbitraria, cualquier nodo y se conecta (es decir, se agrega una ligadura) al nodo distinto ms cercano. Se identifica el nodo no conectado ms cercano a un nodo conectado y se conectan estos dos nodos (es decir, se agrega una ligadura entre ellos). Este paso se repite hasta que todos los nodos estn conectados. Empates: los empates para el nodo ms cercano distinto (paso 1) o para el nodo no conectado ms cercano (paso 2), se pueden romper en forma arbitraria y el algoritmo debe llegar a una solucin optima. No obstante, estos empates son seal de que pueden existir (pero no necesariamente) soluciones optimas mltiples. Todas esas soluciones se pueden identificar si se trabaja con las dems formas de romper los empates hasta el final.

MODELO DE FLUJO MXIMO Se trata de enlazar un nodo fuente y un nodo destino a travs de una red de arcos dirigidos. Cada arco tiene una capacidad mxima de flujo admisible. El objetivo es el de obtener la mxima capacidad de flujo entre la fuente y el destino.

Caractersticas: Todo flujo a travs de una red conexa dirigida se origina en un nodo, llamado fuente, y termina en otro nodo llamado destino. Los nodos restantes son nodos de trasbordo. Se permite el flujo a travs de un arco slo en la direccin indicada por la flecha, donde la cantidad mxima de flujo est dad por la capacidad del arco. En la fuente, todos los arcos sealan hacia fuera. En el destino, todos sealan hacia el nodo. El objetivo es maximizar la cantidad total de flujo de la fuente al destino. Esta cantidad se mide en cualquiera de las dos maneras equivalentes, esto es, la cantidad que sale de la fuente o la cantidad que entra al destino. El problema de flujo mximo se puede formular como un problema de programacin lineal, se puede resolver con el mtodo simplex y usar cualquier software. Sin embargo, se dispone de un algoritmo de trayectorias aumentadas mucho ms eficientes. El algoritmo se basa en dos conceptos intuitivos, el de red residual y el de trayectoria aumentada. Algoritmo de la trayectoria de aumento para el problema de flujo mximo: Se identifica una trayectoria de aumento encontrando alguna trayectoria dirigida del origen al destino en la red residual, tal que cada arco sobre esta trayectoria tiene capacidad residual estrictamente positiva. (Si no existe una, los flujos netos asignados constituyen un patrn del flujo ptimo). Se identifica la capacidad residual c* de esta trayectoria de aumento encontrando el mnimo de las capacidades residuales de los arcos sobre esta trayectoria. Se aumenta en c* el flujo de esta trayectoria. Se disminuye en c* la capacidad residual de cada arco en esta trayectoria de aumento. Se aumenta en c* la capacidad residual de cada arco en la direccin opuesta en esta trayectoria. Se regresa la paso 1.

MODELO DE LA RUTA MS CORTA Considere una red conexa y no dirigida con dos nodos especiales llamados origen y destino. A cada ligadura (arco no dirigido) se asocia una distancia no negativa. El objetivo es encontrar la ruta ms corta (la trayectoria con la mnima distancia total) del origen al destino. Se dispone de un algoritmo bastante sencillo para este problema. La esencia del procedimiento es que analiza toda la red a partir del origen; identifica de manera sucesiva la ruta ms corta a cada uno de los nodos en orden ascendente de sus distancias (ms cortas), desde el origen; el problema queda resuelto en el momento de llegar al nodo destino.

ALGORITMO DE LA RUTA MS CORTA: Objetivo de la n-sima iteracin: encontrar el n-simo nodo ms cercano al origen. (Este paso se repetir para n=1,2, hasta que el n-simo nodo ms cercano sea el nodo destino.) Datos para la n-sima iteracin: n-1 nodos ms cercanos al origen (encontrados en las iteraciones previas), incluida su ruta ms corta y la distancia desde el origen. (Estos nodos y el origen se llaman nodos resueltos, el resto son nodos no resueltos.) Candidatos para el n-simo nodo ms cercano: Cada nodo resuelto que tiene conexin directa por una ligadura con uno o ms nodos no resueltos proporciona un candidato, y ste es el nodo no resuelto que tiene la ligadura ms corta. (Los empates proporcionan candidatos adicionales.) Clculo del n-simo nodo ms cercano: para cada nodo resuelto y sus candidatos, se suma la distancia entre ellos y la distancia de la ruta ms corta desde el origen a este nodo resuelto. El candidato con la distancia total ms pequea es el n-simo nodo ms cercano (los empates proporcionan nodos resueltos adicionales), y su ruta ms corta es la que genera esta distancia.

NOTACIN Y TERMINOLOGA RED: Una red consiste en un conjunto de puntos y un conjunto de lneas que unen ciertos pares de puntos. Los puntos se llaman nodos (o vrtices). Las lneas se llaman arcos (o ligaduras, aristas o ramas). Los arcos se etiquetan para dar nombres a los nodos en sus puntos terminales, por ejemplo, AB es el arco entre los nodos A Y B. En un problema de programacin lineal, las redes pueden representar un conjunto de estaciones, campos petrolferos, almacenes, fabricas, sucursales, ciudades, interconectadas entre si a travs de caminos, conductos, tuberas que permiten fluir productos para la comercializacin o la distribucin. ARCOS DIRIGIDOS: Se dice que un arco es dirigido cuando el arco tiene flujo en una direccin (como en una calle de un sentido). La direccin se indica agregando una cabeza de flecha al final de la lnea que representa el arco. Al etiquetar un arco dirigido con el nombre de los nodos que une, siempre se coloca primero al nodo de donde viene y despus el nodo a donde va, esto es, un arco dirigido del nodo A al nodo B debe etiquetarse como AB y no como BA. Otra Manera es A ARCOS NO DIRIGIDOS: Si el flujo a travs de un arco se permite en ambas direcciones (como una tubera que se puede usar para bombear fluido en ambas direcciones), se dice que es un arco no dirigido. Tambin se les llama ligadura. Aunque se permita que el flujo a travs de un arco no dirigido ocurra en cualquier direccin, se supone que ese flujo ser en una direccin, en la seleccionada, y no se tendr flujos simultneos en direcciones opuestas. TRAYECTORIA: Una trayectoria entre dos nodos es una sucesin de arcos distintos que conectan estos nodos. Por ejemplo, una de las trayectorias que conectan los nodos O y T en la figura 1 es la sucesin de arcos OB-BD-DT (O B D T), y viceversa. B.

Cuando algunos o todos los arcos de una red son arcos dirigidos, se hace la distincin entre trayectorias dirigidas y trayectorias no dirigidas. TRAYECTORIA DIRIGIDA: Una trayectoria dirigida del nodo i al nodo j, es una sucesin de arcos cuya direccin (si la tienen) es hacia el nodo j, de manera que el flujo del nodo i al nodo j, a travs de esta trayectoria es factible. Trayectoria No Dirigida: Una trayectoria no dirigida del nodo i al nodo j es una sucesin de arcos cuya direccin (si la tienen) pueden ser hacia o desde el nodo j. Con frecuencia alguna trayectoria no dirigida tendr algunos arcos dirigidos hacia el nodo j y otros desde l (es decir, hacia el nodo i). CICLO: Un ciclo es una trayectoria que comienza y termina en el mismo nodo. En la red no dirigida que se muestra en la figura 5 existen muchos ciclos, OA-AB-BC-CO. RED CONEXA: Una red conexa es una red en la que cada par de nodos est conectado. Se dice que dos nodos estn conectados si la red contiene al menos una trayectoria no dirigida entre ellos. Se debe resaltar que no es necesaria que la trayectoria sea dirigida aun cuando la red sea dirigida. La figura 1 representa una red conexa. RBOL DE EXPANSIN: Es una red conexa para la n nodos, que contiene ciclos no dirigidos. Todo rbol de expansin tiene justo n-1 arcos, ya que este es el nmero mnimo de arcos necesarios para tener una red conexa y el mximo nmero posible para que no haya ciclos no dirigidos. CAPACIDAD DE ARCO: Es la cantidad mxima de flujo (quizs infinito) que puede circular en un arco dirigido. NODO FUENTE: (O nodo de origen) tiene la propiedad de que el flujo que sale del nodo excede al flujo que entra a l. NODO DEMANDA:

(o nodo destino) es el caso contrario al nodo fuente, donde el flujo que llega excede al que sale de l.

PROBLEMA DEL FLUJO DE COSTO MNIMO El problema de flujo de costo mnimo tiene una posicin medular entre los problemas de optimizacin de redes; primero, abarca una clase amplia de aplicaciones y segundo, su solucin es muy eficiente. Igual que el problema del flujo mximo, toma en cuenta un flujo en una red con capacidades limitadas en sus arcos. Igual que el problema de la ruta ms corta, considera un costo (o distancia) para el flujo a travs de un arco. Igual que el problema de transporte o el de asignacin, puede manejar varios orgenes (nodos fuente) y varios destinos (nodos demandas) para el flujo, de nuevo con costos asociados. De hecho, estos cuatro problemas son casos especiales del problema de flujo de costo mnimo. A continuacin se describe el problema del flujo de costo mnimo:
La red es una red dirigida conexa. Al menos uno de los nodos es nodo fuente. Al menos uno de los nodos es nodo demanda. El resto de los nodos son nodos de trasbordo. Se permite el flujo a travs de un arco slo en la direccin indicada por la flecha,

donde la cantidad mxima de flujo est dada por la capacidad del arco. (Si el flujo puede ocurrir en ambas direcciones, debe representarse por un par de arcos con direcciones opuestas.)
La red tiene suficientes arcos como suficiente capacidad para permitir que todos lo

flujos generados por los nodos fuente lleguen a los nodos demanda.
El costo del flujo a travs del arco es proporcional a la cantidad de ese flujo, donde

se conoce el costo por unidad.

El objetivo es minimizar el costo total de enviar el suministro disponible a travs de

la red para satisfacer la demanda dada. (Un objetivo alternativo es maximizar la ganancia total del envo.) FORMULACION DEL EJEMPLO

Problema del flujo de costo mnimo (Ejemplo) La DISTRIBUTION UNLIMITED CO. Fabricar el mismo nuevo producto en dos plantas distintas y despus tendr que enviarlo a dos almacenes. La red de distribucin disponible para el envo de este producto se muestra en la figura, donde A y B son las fbricas, D y E son los almacenes y C es el centro de distribucin. Las cantidades que deben enviarse desde A y B se muestran a la izquierda, y las cantidades que deben recibirse en D y E se muestran a la derecha. Cada flecha representa un canal factible de envo. A puede enviar directamente a D y tiene tres rutas posibles (A C E, A B C C EyA D E) para mandar bienes a E. La C E D). El costo por unidad B y

fbrica B tiene solo una ruta a E (B

E) y una a D (B

enviada a travs de cada canal se muestra al lado de la flecha. Tambin, junto a A

C E se muestran las cantidades mximas que se pueden enviar por estos canales. Los otros canales tienen suficiente capacidad para manejar todo lo que las fbricas pueden enviar. La decisin que debe tomarse se refiere a cunto enviar a travs de cada canal de distribucin. El objetivo es minimizar el costo total de envo. Formulacin: Minimizar

Sujeto a:

APLICACIN PRCTICA DEL PROBLEMA DEL FLUJO DE COSTO MNIMO El tipo ms importante de aplicacin del problema del flujo de costo mnimo es en la operacin de la red de distribucin de una compaa. En la siguiente tabla se muestran algunos tipos de aplicaciones comunes del problema de del flujo de costo mnimo:

Tipo de Aplicacin

Nodos Fuentes

Nodos de Trasbordo

Nodos Demanda

de

Operacin de una red de distribucin Administracin de desechos slidos Operacin de una red de suministros Coordinacin de mezcla de productos en plantas

Fuentes de bienes

Almacenes intermedios Consumidores

Fuente de desechos slidos Agentes de ventas

Instalaciones procesamiento

de Rellenos

Almacenes intermedios Instalaciones de procesamiento Produccin de u artculo Mercado especfico producto especfico del

plantas

Administracin de flujo de efectivo

Fuentes de efectivo en Opciones de inversin a Necesidades tiempos especficos corto plazo efectivo tiempos especficos

de en

ACOPLAMIENTO Este acoplamiento permite generalmente cierta economa y reduccin en el tamao, pero importa algn sacrificio de la ganancia. Este mtodo de acoplamiento es particularmente preferido para etapas amplificadoras de audio de bajo nivel y bajo ruido, a efectos de reducir al mnimo la captacin de zumbido por campos magnticos parsitos. En los equipos alimentados a batera, la aplicacin del acoplamiento a resistencia y capacitancia (RC) se limita de ordinario al funcionamiento en baja potencia. La respuesta de frecuencias de una etapa con acoplamiento RC normalmente es superior a la que puede obtenerse de las acopladas con transformador.

REDES DE PETRI Las redes de Petri representan una alternativa para modelar sistemas, sus caractersticas hacen que, para algunos problemas las redes de Petri funcionen de una manera natural. Las PN como ahora conoceremos a las redes de Petri (Petri Net) fueron inventadas por el alemn Karl Adam Petri en 1962. En su tesis doctoral "kommunikation mit automaten" (Comunicacin con autmatas), establece los fundamentos para el desarrollo terico de los conceptos bsicos de las PN. Las PN son consideradas una herramienta para el estudio de los sistemas. Con su ayuda podemos modelar el comportamiento y la estructura de un sistema, y llevar el modelo a condiciones lmite, que en un sistema real son difciles de lograr o muy costosas. La teora de PN ha llegado a ser reconocida como una metodologa establecida en la literatura de la robtica para modelar los sistemas de manufactura flexibles. Comparada con otros modelos de comportamiento dinmico grficos, como los diagramas de las mquinas de estados finitos, las PN ofrecen una forma de expresar procesos que requieren sincrona. Y quizs lo ms importante es que las PN pueden ser analizadas de manera formal y obtener informacin del comportamiento dinmico del sistema modelado. Para modelar un sistema se usan representaciones matemticas logrando una abstraccin del sistema, esto es logrado con las PN, que adems pueden ser estudiadas como autmatas e investigar sus propiedades matemticas. Para modelar un sistema en una PN debemos reconocer las condiciones y los eventos que

se dan en l, de esta manera podemos hacer la analoga entre el sistema y el modelo, al conocer las condiciones que se necesitan para dar cierto evento podemos disear los mdulos y relacionarlos con otras condiciones, y para esto necesitamos saber la estructura de una PN para saber que corresponde a una condicin y un evento en la red. ESTRUCTURA DE UNA RED DE PETRI Las PN se componen de cuatro partes: Un conjunto de nodos. Un conjunto de transiciones. Una funcin de entrada y Una funcin de salida.

Las funciones de entrada y salida relacionan a los nodos y a las transiciones. La funcin de entrada es un mapeo de una transicin tj a una coleccin de nodos conocidos como los nodos de entrada de una transicin. La estructura de una PN es definida por los nodos, las transiciones, la funcin de entrada y la funcin de salida. Definicin: La estructura de la PN P=(P,T,I,O) donde:} P={p1,p2,,pn} es un conjunto finito de nodos, con n 0. T={t1,t2,,tm} es un conjunto finito de transiciones con m 0. P T= I,O: T P Un nodo pi es un nodo de entrada de la transicin tj s pi I(tj); pi es un nodo de salida s pi O(tj). Las entradas y salidas de una transicin son conjuntos que tienen elementos repetidos o mltiples ocurrencias de nodos (bags). La multiplicidad de un nodo de entrada pi para una transicin tj es el nmero de ocurrencias del nodo en el bag de entrada de la transicin. Escribimos esto como: #(pi,I(tj)). De igual forma para la salida lo cual escribimos: #(pi,O(tj)). Ejemplo: P=(P,T,I,O) P={p1,p2,p3, p4, p5} T={t1,t2,t3, t4, t5} I(t1) ={p1} O(t1)={p2, p3, p5} I(t2) ={p2, p3, p5} O(t2)={p5} I(t3) ={p3} O(t3)={p4} I(t4) ={} O(t4)={p2, p3} I(t5) ={p4} O(t5)={p2, p3}

Donde: #(p3,I(t2))=1 #(p5,O(t1))=1 Una marca U es una caracterstica de la PN, marca U es una asignacin de tokens a la PN. Un token es un concepto primitivo de una PN, un nmero de ellos reside en los nodos y se mueve entre ellos; los tokens son la parte dinmica de la PN, su nmero puede variar entre nodos y son los que determinan la situacin de la red en un momento determinado. Definicin: Una marca U de una PN P=(P,T,I,O) es una funcin U: P N. Es decir el nodo pi tiene U(pi) token. La PN puede ser considerada tambin como un modelo de flujo de informacin, en donde el comportamiento dinmico de los tokens representa el flujo. Dicho de otra manera la informacin depende de lo que la PN esta modelando.

REPRESENTACIN GRFICA DE UNA RED DE PETRI La representacin grfica de una PN es importante porque al observar el modelo del sistema en forma grfica y observar cmo cambia de un estado a otro puede mantener la atencin y dar una perspectiva ms clara a quin est analizando el problema. Definicin: Una grfica G de una PN P=(P,T,I,O) es una grfica mltiple bipartita dirigida G=(V,A) donde V={ v1, v2, , vn} es un conjunto de vrtices y A={ a1, a2, , an} es un conjunto de arcos dirigidos ai=(vj,vk) con vj, vk V, V=P T para cada ai A se cumple aj=(vj,vk) vj P, vk T, vj T, vk P. Un circulo O representa un nodo; una barra | representa una transicin. Los arcos o curvas conectan los nodos y las transiciones, si un arco va de un nodo a una transicin, el nodo ser una entrada y si el arco va de una transicin a un nodo, el nodo ser una salida de esa transicin. Los tokens son representados por pequeos puntos . Ahora consideremos la PN vista anteriormente: P=(P,T,I,O) P={p1,p2,p3, p4, p5} T={t1,t2,t3, t4, t5} I(t1) ={p1} O(t1)={p2, p3, p5} I(t2) ={p2, p3, p5} O(t2)={p5} I(t3) ={p3} O(t3)={p4} I(t4) ={} O(t4)={p2, p3} I(t5) ={p4} O(t5)={p2, p3}

Donde: #(p3,I(t2))=1 #(p5,O(t1))=1 REGLAS DE DISPARO PARA UNA PN. La ejecucin en una PN es controlada por el nmero y distribucin de los tokens que tiene. Los tokens presentes en los nodos controlan la ejecucin de las transiciones de la red. Una PN se activa disparando transiciones. Una transicin es disparada removiendo tokens de los nodos de entrada y creando tokens de salida. De aqu podemos obtener la primera condicin de disparo en una transicin: todos los nodos de entrada de la transicin, deben tener al menos el mismo nmero de tokens, que de arcos que van hacia la transicin, para que sta sea disparada, cuando la transicin cumpla esta condicin se dice que es una transicin enabled. DEFINICIN: Una transicin tj T en una PN P=(P,T,I,O) con una marca U es ENABLED si para todo pj P, U(pj)>=#( pj,I(tj)). Por ejemplo una transicin t3 con I(t3)={p3} y O(t3)={p4} es ENABLED slo cuando p3 tiene al menos un token. Cuando t3 es disparada slo un token es quitado a p3 y un token es depositado en p4 (s tuviera ms nodos de salida, depositaria un token en cada uno de ellos). Es decir por cada arco de salida es liberado un token. Consideremos la siguiente PN:

Slo 3 transiciones estn en un estado ENABLED t1, t3, t4. La transicin t2 no puede ser disparada porque no hay tokens en el nodo p2, el cual es entrada de ella. Dado que t1, t3 y t4 son ENABLED cualquiera de ellas puede ser disparada. Podemos asociar de manera natural un vector u enlistando los valores de U. As para la PN mostrada tenemos u=(1,0,2,1,0). S la transicin t4 es disparada, remueve tokens de cada entrada y los deposita en cada salida, entonces remueve un token de p4 y deposita un token en p2 e incrementa el nmero de tokens en p3 de dos a tres; el vector u sera (1,1,3,0,0) y el estado de la red se mueve a como se muestra en la siguiente figura. Las transiciones pueden seguir disparndose indefinidamente hasta llegar a un estado deseado o hasta que ninguna pueda ser disparada.

REDES DE PETRI COLOREADAS Las redes de Petri coloreadas (CPN) pertenecen a la familia de las PN, la diferencia viene marcada por las consideraciones en CPN de colores y de funciones lineales asociadas a sus arcos. Los tokens de color pueden representar un atributo o distintivo, si es necesario

definir dos atributos entonces surge la idea de colores compuestos. Una transicin en CPN est en estado ENABLED si todos sus nodos de entrada contienen un nmero de colores igual o mayor que los definidos por fi<c> donde fi es una funcin lineal asociada al nodo pi con la transicin tj. Entonces adems del concepto de color, estas redes manejan una funcin asociada para los elementos de las funciones I,O de la PN. Es fcil ver en una Red las transiciones que estn ENABLED y observar que a veces son ms de dos transiciones las que se pueden disparar, en la siguiente figura notamos que t1 y t2 pueden dispararse, pero si t1 es disparada, t2 dejar de ser ENABLED y si disparamos t2, no podremos disparar t1. Esto es conocido como un conflicto y nos ayuda a modelar problemas de sincronizacin. EXTENSIONES AL MODELO DE REDES DE PETRI Un arco inhibidor es otro componente de una PN, ste va de un nodo a una transicin y es representado con un pequeo crculo al final del arco. La transicin que tiene arcos inhibidores no puede dispararse si el nodo de entrada contiene por lo menos tantos tokens como la multiplicidad del arco inhibidor. As por ejemplo la siguiente figura disparar cuando p1 tenga un token, y p2 no tenga tokens.

En general las extensiones a la teora de PN dependen del modelo o la aplicacin donde se estn usando. REDES DE PETRI TEMPORALES. Este tipo de redes son las que consideran el tiempo en el modelo. Es una consideracin importante ya que los sistemas reales casi siempre es indispensable considerarlo en la sincronizacin de los procesos. El modelo ms simple es el que asigna duracin a:
1. Los nodos, en el sentido de que una condicin es verdadera para una cierta

cantidad de tiempo. 2. La transicin, en el sentido de que un evento toma una cierta cantidad de tiempo en ocurrir. Cuando la duracin de los eventos no es fija, o no pueden ser expresados con valores nominales, simplemente se estiman lmites dentro de los cuales el evento puede ocurrir