INSTITUTO TECNOLOGICO SUPERIOR DE MISANTLA

ING. ELECTROMECANICA AUTOMATAS PROGRAMABLES

ING. VICTOR JOEL LOEZA Y HERNANDEZ

INVESTIGACION

UNIDAD 4 SISTEMAS DE EVENTOS DISCRETOS Y REDES DE PETRI

PRESENTA CORDOVA VAZQUEZ SERGIO VAZQUEZ LOPEZ LIZETH JARILLOPALACIOS JAIRO ANDRES RAMOS GARCIA PABLO

MISANTLA, VER. A 11 DE NOVIEMBRE DEL 2013

SISTEMAS DE EVENTOS DISCRETOS Y REDES DE PETRI

UNIDAD 5

INDICE

CONCEPTO DE SISTEMA DE EVENTOS DISCRETOS...4 REDES PETRI.6 REGLAS DE EVOLUCION DE MARCADO...8 ESTRUCTURA DE LAS REDES PETRI.9

AUTOMATAS PROGRAMABLES

Pgina 2

SISTEMAS DE EVENTOS DISCRETOS Y REDES DE PETRI

UNIDAD 5

INTRODUCCIN La simulacin se puede definir como el acto de imitar un sistema real, de forma que se representen ciertas caractersticas o comportamientos clave del mismo. Es as que existen dos formas de simulacin principales: real o computacional. El presente artculo se enfocar en la simulacin por computadora, ms exactamente en la simulacin de eventos discretos , lo anterior dado que en mi experiencia como consultor encuentro en la simulacin de eventos discretos una poderosa tcnica que soporta de forma robusta la toma de decisiones en el diseo y la planeacin de la cadena de suministro, es por esto que considero de vital importancia trasmitir algunos puntos principales sobre la evaluacin de proyectos con simulacin, a fin de que usted como lector pueda a futuro sacar el mximo provecho de un proyecto en donde se use esta poderosa tcnica. Recuerde que aprender a usar la simulacin le representar a su empresa grandes beneficios tales como inclusin de efectos aleatorios dentro del anlisis, tener en cuenta los efectos de interacciones complejas en el sistema, anlisis de riesgo de diferentes alternativas, encontrar consenso entre diferentes conceptos de opinin, pero ms que todo la toma de decisiones acertadas en el menor tiempo posible.

AUTOMATAS PROGRAMABLES

Pgina 3

SISTEMAS DE EVENTOS DISCRETOS Y REDES DE PETRI

UNIDAD 5

5-1. CONCEPTO DE SISTEMAS DE EVENTOS DISCRETOS La simulacin por eventos discretos es una tcnica informtica de modelado dinmico de sistemas. Frente a su homloga, la simulacin de tiempo continuo, esta se caracteriza por un control en la variable del tiempo que permite avanzar a ste a intervalos variables, en funcin de la planificacin de ocurrencia de tales eventos a un tiempo futuro. Un requisito para aplicar esta tcnica es que las variables que definen el sistema no cambien su comportamiento durante el intervalo simulado. Estos sistemas se caracterizan por mantener un estado interno global del sistema, que puede no obstante estar fsica o lgicamente distribuido, y que cambia parcialmente debido a la ocurrencia de un evento. El estado del sistema solo cambia mediante la ejecucin de eventos, que se almacenan en un contenedor, y uno o varios procesos dedicados a su ejecucin avanzan el tiempo de simulacin a medida que se van ejecutando y eliminando los eventos pendientes para el valor de tiempo actual. La ejecucin de un evento puede desencadenar la generacin de nuevos eventos futuros. Cada uno est marcado por su tiempo, por lo que el orden de generacin puede no coincidir con el orden de ejecucin.

Formas de usar la simulacin de eventos discretos Como muchas tcnicas, la simulacin de eventos discretos puede ser empleada en diferentes niveles de desarrollo tecnolgico. El primero sera a travs de libreras especializadas de diferentes lenguajes de programacin tales como java o C++. En general si se desea usar esta aproximacin se requerirn tiempos de desarrollo de proyectos muy amplios y soporte humano altamente calificado en programacin y desarrollo de software. Adicionalmente el efecto visual ser de pocos impactos dados las capacidades de animacin de estas libreras. En el otro extremo encontraramos el uso de software especializado de simulacin. el inconveniente de esta alternativa es el bajo nivel de flexibilidad y control que ofrecen estos desarrollos, lo que resulta en que el campo de aplicacin sea excesivamente limitado (Ej: slo procesos de empaque, slo lneas de ensamblado, slo zonas de picking). Finalmente se encuentra la opcin que yo recomiendo que sea usada es el punto medio entre el desarrollo en lenguajes de programacin y el uso de herramientas altamente especializadas. Esta alternativa consiste en el uso de software de
AUTOMATAS PROGRAMABLES Pgina 4

SISTEMAS DE EVENTOS DISCRETOS Y REDES DE PETRI

UNIDAD 5

simulacin de eventos discretos multipropsito (como por ejemplo Flexsim), bajo esta alternativa se encuentra el balance perfecto entre flexibilidad, facilidad y diseo. En las ltimas dcadas, larpida evolucin de lastecnologas de computacin,comunicacin e informacinha ayudado a la proliferacinde nuevos sistemasdinmicos ms complejos. Ejemplos: 1. Redes de computadoras y decomunicaciones 2. Sistemas de manufactura automticos 3. Sistemas de control de trfico 4. Sistemas de control, comunicacin einformacin 5. Sistemas avanzados de monitoreo ycontrol 6. Sistemas inteligentes de transporte 7. Sistemas distribuidos 8. Etc. Su comportamiento se caracteriza por una secuencia finitao infinita de estados delimitados por eventos que ocurrende manera asncrona

AUTOMATAS PROGRAMABLES

Pgina 5

SISTEMAS DE EVENTOS DISCRETOS Y REDES DE PETRI

UNIDAD 5

Simulacin de eventos discretos La simulacin de eventos discretos se refiere a la modelacin computacional desistemas que evolucionan en el tiempo mediante cambios instantneos en las variables de estado. Los cambios ocurren en puntos separados del tiempo.En trminos ms matemticos, diramos que los cambios del sistema ocurren enun conjunto contablede puntos del tiempo. Se muestra en la siguiente figura un diagrama de flujo general para una simulacin de eventos discretos. El programa principal llama a las rutinas de Inicializacin, Reloj y Evento. La rutina Inicializacin asigna valores iniciales a las variables de estado, contadores, listas de eventos y tiempo. La rutina Reloj determina el tipo y tiempo del prximo evento y actualiza el tiempo de simulacin a dicho instante. La rutina Evento actualiza el estado del sistema y los contadores estadsticos. Luego mediante generadores de nmeros aleatorios, determina el tiempo del prximo evento de su tipo y lo aade a la lista de eventos.

AUTOMATAS PROGRAMABLES

Pgina 6

SISTEMAS DE EVENTOS DISCRETOS Y REDES DE PETRI

UNIDAD 5

5.2 REDES PETRI Una red de Petri es un grafo orientado con dos tipos de nodos: lugares(representados mediante circunferencias) y transiciones (representadaspor segmentos rectos verticales). Los lugares y las transiciones se unen mediante arcos o flechas.

Un arco une siempre lugares con transiciones y nunca dos lugares o dos transiciones.Una transicin puede ser destino de varios lugares y un lugar puede ser el destino devarias transiciones. Una transicin puede ser origen de varios lugares y un lugar puede ser origen devarias transiciones.Los lugares pueden presentar marcas (una marca se representa mediante un punto en elinterior del crculo). Cada lugar tiene asociada una accin o salida.Los lugares que contienen marcas se consideran lugares activos.Cuando un lugar est activo sus salidas estn a uno.A las transiciones se les asocia eventos (funciones lgicas de lasvariables de entrada). Una transicin se dice que est sensibilizada cuando todos su lugaresorigen estn marcados.Cuando ocurre un evento asociado a una transicin (la funcin lgica sehace uno), se dice que la transicin est validada.

AUTOMATAS PROGRAMABLES

Pgina 7

SISTEMAS DE EVENTOS DISCRETOS Y REDES DE PETRI

UNIDAD 5

REGLAS DE EVOLUCIN DE MARCADO El marcado cambia al franquear las transiciones.Para franquear una transicin ha de estar validada y sensibilizadaCuando una transicin se franquea desaparecen las marcas de los lugaresorigen y se aade una marca a cada uno de los lugares destino.

Un lugar puede tener ms de una marca, ejemplo:

Cuando dos transiciones que estn sensibilizadas a la vez, pueden entraren conflicto, ejemplo:

Para que la red sea vlida las condiciones de validacin t1 y t2 no puedendarse ala vez.

AUTOMATAS PROGRAMABLES

Pgina 8

SISTEMAS DE EVENTOS DISCRETOS Y REDES DE PETRI

UNIDAD 5

5.2.1 ESRUCTURA DE LAS REDES 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 conjuntosque 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) tokens. La PN puede ser considerada tambin como un modelo de flujo de informacin, en donde el comportamiento dinmico de los tokensrepresenta el flujo. Dicho de otra manera la informacin depende de lo que la PN esta modelando.
AUTOMATAS PROGRAMABLES Pgina 9

SISTEMAS DE EVENTOS DISCRETOS Y REDES DE PETRI

UNIDAD 5

Este programa consta, principalmente, de lassiguientes partes: 1.- Edicin de redes de Petri. El programa es capaz de editar redes de Petri. Se edita, tanto el archivoque contiene el dibujo de la red de Petri a tratar (archivos con extensin *.bmp), como el archivo de texto en el que se encuentran los datos de dicha red: transiciones, lugares, marcados, arcos inhibidores etc. (archivos con extensin *.rdp). 2. Transformacin de parmetros. Una vez que el usuario ha editado la RdP diseada con el editor, y despus de haber editado la tabla de transiciones y marcados, en la que se explican con detalle todos las caractersticas de la red: Transiciones que componen la RdP con sus correspondientes arcos pre y arcos-post y el peso de cada uno de ellos. Marcacin inicial de los lugares marcados. Arcos inhibidores con su peso, el lugar del que proceden y la transicin a la que se dirigen.
AUTOMATAS PROGRAMABLES Pgina 10

SISTEMAS DE EVENTOS DISCRETOS Y REDES DE PETRI

UNIDAD 5

Nmero de lugares que componen la red. Existen varias posibilidades, entre ellas: Cambiar los parmetros de temporizacin de las redes de Petri Temporizadas. En este apartado, el usuario puede: capturar los parmetros de temporizacin T1 y T2 actuales, cambiarlos a su gusto, siempre dentro de las normativas, o definir los parmetros por defecto y transferir dichoscambios a la red de Petri, de forma que stosse reflejen en la tabla de transiciones. (Figura3). Cambiar las prioridades de las transiciones.Las posibilidades de cambio son idnticas alas explicadas en el punto anterior. (Figura 3) Aadir eventos a las transiciones, indicando elcanal y el bit deseados. En este apartadoexisten una serie de limitaciones, por lo quereferimos al lector al manual de usuario deprograma. (Figura 4). Definir los lugares como binarios, o no, consu correspondiente marcado a 0 1. Elusuario puede elegir como binario cualquierlugar de la red de Petri editada, y el mismoprograma le indicar si la eleccin que hahecho es o no posible. (Figura 5). Abrir y guardar archivos de lugares binarios oeventos definidos por el usuario para unadeterminada red de Petri. Los archivos delugares binarios tendrn extensin *.bin y losde eventos en transiciones sern los deextensin *.evt. Imprimir la red de Petri, o las caractersticasde la misma, en la que, a parte del archivo decaractersticas de la red, .rdp, se imprimenlos parmetros modificados por el usuario,tales como eventos aadidos a transicionescon el nmero de transicin y el canal y bit,lugares binarios o no con su correspondientemarcado, etc. 3. Transmisin Ejecucin de la RdP. En este apartado podemos realizar dos cosas: Poner el autmata en modo PROGRAM para estar en disposicin de transmitir la RdP, bien sea modificada o no, al autmata programable. Cambiar el modo del autmata (RUN o MONITOR), para poder ejecutarlo o monitorizarlo desde Syswin. El diagrama de flujo de este ltimo apartado, es el representado en la Figura 6. Como se puede observar en todos los diagramas de flujo, desde cualquiera de las partes del programa, se puede finalizar el mismo, volver a realizar cambios en la red de Petri editada, editar una nueva, cambiar de una funcin a otra, etc.

AUTOMATAS PROGRAMABLES

Pgina 11

SISTEMAS DE EVENTOS DISCRETOS Y REDES DE PETRI

UNIDAD 5

Conclusin:
Podemos concluir diciendo que las Redes de Petri son una alternativa de modelado de sistemas, aplicados principalmente hacia el control y proceso, por su facilidad de manejo en el problema de la sincronizacin de procesos. Tambin se dijo que constan de cuatro partes: Nodos Transiciones Funciones de entrada Funciones de salida

Las entradas y/o salidas de una transicin son conjuntos que pueden tener elementos repetidos o mltiples ocurrencias, cuentan con una asignacin de tokens que es la parte dinmica de las Redes de Petri.Las Redes de Petri se pueden representar grficamente, un circulo O representa un nodo y una barra | representa una transicin, y los tokens son representados por pequeos puntos . Las Redes de Petri tienen reglas de disparo, siendo la principal, la que dice: "todos los nodos de entrada de la transicin, deben tener al menos el mismo nmero de tokens, que nmero de arcos van hacia la transicin para que sta sea disparada". Cuando la transicin cumple dicha condicin se dice que es ENABLED. Existen extensiones a las Redes de Petri: por ejemplo las Redes de Petri Coloreadas (PNC), las Redes de Petri Temporales, Redes de Petri Estocsticas. Podemos modelar los sistemas dividindolos en eventos y condiciones. Las condiciones son representadas por los nodos, y los eventos por las transiciones.

AUTOMATAS PROGRAMABLES

Pgina 12