MATEMTICAS COMPUTACIONALES

2012

CORPORATIVO INTERNACIONAL UNIVERSITARIO S. C.

Nombre del alumno: Jess Tomas Snchez Bentez

Nombre del Catedrtico: L.I. Gabriel Flores Gonzlez

Asignatura: Matemticas Computacionales Modelos de Redes y Redes Petri

Quinto Febrero 2012.

Jess tomas Snchez Bentez

Cuatrimestre:

MATEMTICAS COMPUTACIONALES

2012

INDICE

TEMA
1 2 3 4 Introduccin Modelos de Redes y Redes Petri....... Conclusiones.. Bibliografa......

PAG.
3 4 13 12

Jess tomas Snchez Bentez

MATEMTICAS COMPUTACIONALES INTRODUCCIN

2012

En la presente investigacin se explicara el Modelo de Redes aplicado especficamente a problemas de trasporte y la maximizacin de flujos mediante el mismo; se tratara adems sobre las Redes de Petr.

La maximizacin de flujos es un problema tpico de la Investigacin de Operaciones, el cual tiene muchas aplicaciones, por ejemplo el flujo vial en una ciudad, una red de aguas negras, una red informtica, etc. Si nosotros sobrecargamos una calle, una tubera o un canal que obviamente tiene un lmite de capacidad, nos enfrentaremos a un problema, posiblemente un flujo mas lento o una tubera con demasiada presin, ah es donde el Modelo de Redes es un mtodo o secuencia el cual nos ayuda a tomar una decisin acertada que podra ser mejorar o dar mayor aprovechamiento a los flujos a vas donde que tengan ms capacidad, creando nuevas vas o eliminando algunas antiguas. Tambin nos ayuda a maximizar este flujo de manera eficiente de forma tal que se aprovechen al mximo los recursos.

Jess tomas Snchez Bentez

MATEMTICAS COMPUTACIONALES
MODELOS DE REDES Y REDES DE PETRI

2012

Por otra parte el objetivo de las Redes de Petr est ms enfocado al campo de la computacin y este es el de buscar mayor eficiencia y concurrencia en el tratamiento de los datos y que estos no se estanquen o sobrecarguen la capacidad que ellos poseen en un procesador por medio de graficas especiales.

Objetivos Exponer de una manera clara los conceptos, teoremas y aplicaciones. Encontrar maneras de aplicar la Teora de Redes a situaciones reales. Resolver problemas prcticos. Modelos de redes

Definicin: Una Red de Transporte es una grafica dirigida, simple, con pesos y que debe cumplir las siguientes: Poseer una fuente o vrtice fijo que no tiene aristas de entrada. Poseer un sumidero o vrtice fijo que no tiene arista de salida El peso Cij de la arista dirigida de i a j llamado capacidad de ij es un numero no negativo.

Este es un ejemplo de una red que parte de un punto a que es un Muelle y llega a un punto z que es una refinera. Definicin: Sea G una red y sea Cij la capacidad de la arista dirigida (ij) se dice que un flujo F en G asigna a cada arista dirigida (ij) un numero no negativo Fij tal que debe cumplir: Fij " Cij Para todos los vrtices que no sea fuente ni sumidero se cumple: ec 8.1.1 (esta es la ecuacin de conservacin de flujo) Teorema 1: Dado un flujo F en una red el flujo de salida de la fuente es igual al flujo de entrada del sumidero.

Jess tomas Snchez Bentez

MATEMTICAS COMPUTACIONALES
FLUJO MXIMO:

2012

En una red G, el flujo mximo es un flujo mximo. Generalmente existen varios flujos con el mismo valor mximo. Para encontrar el flujo mximo consideraremos un flujo inicial en cada arista igual a cero, despus se determina un camino especfico de la fuente al sumidero y se incrementa el flujo. Si una arista est dirigida hacia la fuente decimos que esta arista esta dirigida en forma impropia, en caso contrario est dirigida en forma propia. Si se determina un camino P de la fuente al sumidero en donde cada arista de P esta orientada en forma propia y el flujo en cada arista es menor que la capacidad de la arista, es posible aumentar el valor de flujo. Es posible incrementar el flujo en ciertos caminos de la fuente al sumidero que tenga aristas orientadas en forma impropia y propia. Sea P un camino de a a z y sea x un vrtice en P que no sea a ni z Ambas aristas estn orientadas en forma propia, en este caso, si incrementamos el flujo en ", el flujo en la entrada en x seguir siendo igual al flujo de salida de x. Si incrementamos el flujo en e2 en ", debemos disminuir el flujo en e1 en " de modo que el flujo de entrada en x siga siendo igual al flujo de salida en x. Es anlogo en el caso b Disminuimos el flujo en ambas aristas en ". En cada caso las asignaciones resultantes de las aristas dan como resultado un flujo. Para realizar estas alteraciones debemos tener un flujo menor que la capacidad en una arista orientada en forma propia y un flujo distinto de cero en una arista orientada en forma impropia.

Teorema 2: Sea P un camino de a a z en una red G tal que: Para cada arista (i,j) de P, orientada en forma propia. Fij <Cij Para cada arista (i,j) de P, orientada en forma impropia 0 <Fij Se define F'ij =

Jess tomas Snchez Bentez

MATEMTICAS COMPUTACIONALES

2012

Si no existieran caminos que concuerden con el teorema 2, el flujo es mximo, entonces se considera el algoritmo: Iniciar con un flujo Buscar un camino que satisfaga con las condiciones del teorema 2 Si no existe el camino el flujo es mximo. Se incrementa el flujo en ", y se regresa a lnea 2. A dicho algoritmo se le llama Algoritmo etiquetado.

Problema 1: Para este ejemplo hemos usado una parte de la flota de la empresa multinacional ESSO. La planta de ESSO-Texaco para el aeropuerto internacional de El Salvador posee dos tanques que son capaces de contener 180,000 galones de combustible para avion jet. Ambas distribuidoras depositan combustible en los mismos tanques, la ESSO esta encargada de depositar en los tanques de las 23:30 a las 6:00 y de las 6:00 en adelante se recibe producto de Texaco. Los camiones de la ESSO salen de la base hacia la refinera a cargar combustible o si ya estn cargados, se dirigen directamente hacia la planta del aeropuerto a descargarlo. La siguiente red representa las posibles rutas que pueden tomar los camiones y sus respectivos tiempos:

Jess tomas Snchez Bentez

MATEMTICAS COMPUTACIONALES

2012

Por medio del diagrama nos podemos dar cuenta que un camin que no est cargado de combustible no puede partir mas tarde de las 23:30 y cargar combustible ya que llegara despus de las 5:00 y un camin tarda una hora en descargar todo su combustible, lo cual provocara que chocaran los horarios de los camiones ESSO con los horarios de los camiones de Texaco. Un camin ya cargado puede salir lo mas tarde a las 3:30 de la maana para llegar exactamente a las 5:00. Estas restricciones de tiempo se deben a que todos los camiones de ESSO tienen un lmite de velocidad por seguridad que es de 70 kmh y los tiempos ya estn medidos. Problema 2: El problema dos que escogimos esta enfocado siempre a los camiones de la empresa ESSO, pero en este caso enfocado a la longitud de los trayectos. Para tener una idea ms amplia de lo que se habla, colocamos el siguiente mapa: El tiempo que se recorre en cada uno de los trayectos y los trayectos mismos se representan en la siguiente red:

Es evidente que el camino 2 es el mas adecuado por el tiempo que utiliza que es de 30 minutos menos que el camino 1.

Teorema de flujo mximo y corte mnimo

Tenemos una red G y tiene un flujo F al concluir nuestro algoritmo esto significa que algunos vrtices estn etiquetados y otros no. Sea P el conjunto de vrtices Etiquetados y ( no complementados) entonces la fuente a no esta en P y el sumidero z esta . El conjunto s de aristas (v,w) con v que pertenece a P y w que pertenece a , es un corte y la suma de las capacidades de las aristas s es la capacidad de cortes. Para el caso G es una red con una fuente a y un sumidero z luego la capacidad de las aristas i,j es Cij

Teorema 3 Sea F un flujo en G y teniendo (P, ) un corte en G entonces la capacidad de este es mayor o igual que el valor de F; es decir Teorema 4 Siendo F un flujo en G sea (P, ) Un corte en G, si la igualdad se cumple en Un corte (P, ) donde el complemento de P es en G consta de un conjunto P de vrtices y de complementos a , donde a

Jess tomas Snchez Bentez

Un corte (P, ) donde el complemento de P es en G consta de un conjunto P de vrtices y de complementos a , donde a pertenece a P y z pertenece a .

MATEMTICAS COMPUTACIONALES

2012

pertenece a P y z pertenece a . Entonces se dice que el flujo es mximo y el corte es mnimo. La igualdad se cumple s y solo s: Fij =Cij Para i que pertenece a P, j pertenece a . Fij = 0 Para i que pertenece a , j pertenece a P. Teorema 5 Cuando se concluye un algoritmo se produce un flujo mximo, si P (respectivamente, ) es el conjunto de vrtices etiquetados (respectivamente, no etiquetados) al concluir el algoritmo el corte (P, ) es mnimo. Redes de Petri Son graficas del procesamiento concurrente, es un mtodo para modelar y estudiar el procesamiento concurrente. Una red de Petr es un grafo dirigido bipartito, con un estado inicial, llamado marcacin inicial. Los dos componentes principales de la red de Petr son los sitios (tambin conocidos como estados) y las transiciones. Grficamente, los sitios son dibujados como crculos y las transiciones como barras o rectngulos. Las aristas del grafo son conocidas como arcos. Estos tienen un peso especfico, el cual es indicado por un nmero entero positivo, y van de sitio a transicin y viceversa. Por simplicidad, el peso de los arcos no se indica cuando ste es igual a 1. Un arco que est etiquetado con k puede ser interpretado como k arcos paralelos.

Ejemplo de una Red de Petr Es una grafica dirigida G = (V, E) donde V = P U T y P "T = , cualquier arista e en E es incidente en un miembro de P y un miembro de T, el conjunto P es el conjunto de lugares y el conjunto T es en conjunto de Transiciones. Un marcado de una Red de Petr asigna a cada lugar un entero no negativo, una red de Petr con un marcado es una Red de Petr Marcada (o simplemente una Red de Petr). Con un marcado se asigna al valor no negativo n al lugar p, decimos que existen n elementos en p, mediante los elementos a representar son los puntos.

Los lugares representan condiciones, las transiciones representan eventos, y la presencia de al menos un elemento en un lugar (condicin) indica que tal condicin se cumple.

Jess tomas Snchez Bentez

MATEMTICAS COMPUTACIONALES

2012

Si una arista va del lugar p a la transicin t, decimos que p es un lugar de entrada para la transicin t. Un lugar de salida se define de manera anloga, si cada lugar de entrada de una transicin t tiene al menos un elemento, decimos que t esta activada. La descarga de una transicin elimina un elemento de cada lugar de entrada y agrega un elemento a cada lugar de salida. Una serie de descargas transforma un marcado M, en un marcado M', decimos que M' es alcanzable desde M. Un evento puede ocurrir si y solo si se cumplen todas las condiciones para su ejecucin; es decir, la transicin se puede descargar solo si esta activada. Entre las propiedades ms comunes de Redes de Petr tenemos la Supervivencia y la Seguridad. La Supervivencia se refiere a la ausencia de estancamientos, y la Seguridad se relaciona con la capacidad limitada de la memoria. Un marcado M de una red de Petr esta Vivo si, partiendo de M, sin importar la serie de descargas realizadas, es posible descargar cualquier transicin dada mediante alguna secuencia de descargas adicionales. Si un marcado M esta vivo para una Red de Petr P, entonces, sin importar la serie de descargas de transiciones, P nunca se estancara. De hecho, podemos descargar cualquier transicin mediante cierta secuencia de descargas adicionales. Un marcado M para una red de Petr esta acotado si existe algn entero positivo n con la propiedad de que, en cualquier secuencia de descarga, ningn lugar recibe mas de n elementos. Si un marcado M, esta acotado y en cualquier secuencia de descarga ningn lugar recibe mas de un elemento, decimos que M es un marcado Seguro. Si cada lugar representa un registro capaz de guardar una palabra de computadora y si un marcado inicial es seguro, tenemos garantizado que no se exceder la capacidad de memoria de los registros. Problema 1: Este es un ejercicio aplicado a casi cualquier tipo de fila donde existe una sola lnea para atender a 100 personas o ms. Los tiempos de llegada de los clientes sern valores sucesivos de la variable aleatoria ta, los tiempos de servicio estn dados por la variable aleatoria ts, y N es el nmero de servidores. Este modelo en su estado inicial tiene la cola vaca y todos los servidores en estado de espera.

Jess tomas Snchez Bentez

MATEMTICAS COMPUTACIONALES

2012

La red de Petr para este escenario se muestra en la siguiente figura:

Los estados estn etiquetados con letras maysculas y las transiciones con minsculas. Las etiquetas de los sitios tambin sern usadas como las variables de cuyos valores son los tokens Las aristas tienen etiquetas que podran representar las funciones de transicin, las cuales especifican el nmero de tokens eliminados o agregados cuando una transicin es activada. El estado A inicialmente contiene la llegada de 100 clientes; el sitio B evita que los clientes entren ms de una vez; el sitio Q es la fila que realizan los clientes cuando tienen que esperar a que se les atienda. El estado S es donde los servidores ociosos esperan la oportunidad para trabajar, y el sitio E cuenta el nmero de clientes que abandonan el sistema. El estado inicial implica que los sitios tengan los siguientes valores: y y y y y A = 100 B=1 Q=0 S=N E=0 La transicin a sirve para modelar a los clientes que entran al sistema y la transicin b modela a los clientes cuando estn siendo atendidos. Problema 2: La evaluacin de expresiones aritmticas puede ser descrita de forma sencilla desde redes de Petr. Ponemos un ejemplo practico con la expresin (a+b)X(c+d) puede ser caracterizada por la siguiente red de Petr, en la que los lugares representan operandos, las transiciones operadores y la existencia de un toen en un lugar denota la disponibilidad del valor del operando:

Jess tomas Snchez Bentez

1 0

MATEMTICAS COMPUTACIONALES
Problema 3:

2012

El proceso de prstamo de libros en la UAE tambin puede representarse con una Red de Petr de la siguiente manera:

Podemos notar que el lugar de libro disponible es el que delimita la cantidad de libros disponibles, por ejemplo si se tienen 5 ejemplares, lo marcaramos con 5.

Conceptos y y y y y y Red: Es un grafo dirigido formado por una fuente, un sumidero, aristas y nodos. 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 (a): Punto de partida del flujo total de la red.

Jess tomas Snchez Bentez

1 1

MATEMTICAS COMPUTACIONALES

2012

CONCLUSIONES
El modelo de redes posee una gran aplicabilidad en muchos problemas de la vida cotidiana, en nuestra sociedad moderna es casi imprescindible para lograr una mayor eficiencia en casi cualquier tipo de flujo. Las Redes de Petr estn ms enfocadas a la optimizacin de procesos que pueden depender de otros al operar. En general puede observarse la importancia de los modelos matemticos para encontrar la solucin de infinidad de problemas.

Jess tomas Snchez Bentez

1 2

MATEMTICAS COMPUTACIONALES

2012

BIBLIOGRAFA
Johnsonbaugh, Richard, Matemticas Discretas 4 edicin, PRENTICE may, Mxico, 1999. http://html.rincondelvago.com/modelos-de-redes.html

Jess tomas Snchez Bentez

1 3