Planteamiento del problema
Páginas: 13 (3133 palabras)
Publicado: 6 de agosto de 2013
introducción
La rápida evolución que se ha producido en el campo tecnológico en las últimas décadas, emergió junto con nuevos sistemas dinámicos como por ejemplo redes de computadora, sistema de producción automatizada, sistemas de control, etc. Todas las actividades en estos sistemas se deben a la ocurrencia asincrónica de eventos discretos algunos controlados (tales como el pulsado de unatecla) y otros no (como la falla espontánea de un equipo). Esta característica lleva a definir el termino Sistemas de Eventos Discretos (DES). Fue imprescindible también crear formalismos que permitan modelar, analizar y simular dichos sistemas dado la alta complejidad que estos tendían. Dentro de los formalismos más populares de representación se encuentran las redes de Petri (Petri Nets o PN), queproveen un lenguaje grafico muy conveniente para modelizar y analizar distintos problemas. Por otra parte, orientado a los problemas de modelización y simulación de DES, ubicamos a DEVS (Discrete EVent System specification), el formalismo mas general para el tratamiento de DES. El hecho de estar basado en teoría de sistemas, lo convierte en un formalismo universal, es decir, que en el puedenexpresarse todos los modelos descritos por cualquier otro formalismo DES, en particular los reproducidos en PN. Pese a su generalidad, DEVS no es un lenguaje grafico, y en gran cantidad de casos es mucho más simple obtener un modelo en redes de Petri que hacerlo directamente en DEVS. Por otro lado, hay muchos modelos que no pueden representarse con redes de Petri (aproximaciones de sistemas continuos,por ejemplo, o modelos híbridos en general), y que el formalismo DEVS puede simular de manera muy eficiente. Esto sugiere la conveniencia de utilizar ambos formalismos en conjunción. De hecho, hay un antecedente del uso de PN en un simulador DEVS. Sin embargo, debido a las características del simulador utilizado (CD++), en dicho trabajo, los modelos tienen muchas restricciones y se deben agregarpuertos y conexiones que no existen en la Red de Petri original. En el presente trabajo se desarrolla e implementa una metodología que permite utilizar redes de Petri dentro de una herramienta de modelado y simulación de DEVS denominada Power-DEVS. A diferencia de lo desarrollado en CD++, esta implementación respeta la apariencia gráfica de las redes de Petri, incluyendo temporizacion, asignaciónde prioridades e interconexión con otros modelos DEVS (incluyendo aproximaciones de modelos continuos). Además de describir la implementación, se muestran ejemplos de aplicación que utilizan la librería desarrollada.
Planteamiento del problema
La mayoría de los problemas sobre redes de Petri son decidibles, tales como el carácter acotado y la cobertura. Para resolverlos seutiliza un árbol de Karp-Miller. Se sabe que el problema de alcance es decidible, al menos en un tiempo exponencial.
Determinar Requerimientos
Características técnicas
Hay dos clases principales de entidades independientes en el sistema: El trabajo y el procesador. En el modelo de la red de Petri el evento relativamente solitario al otro, o el otro puede sincronizar las acciones de los trabajosy el procesador.
Sin embargo, cuando la sincronización es necesaria por ejemplo cuando ambos, un trabajo y un proceso libre tienen que estar disponibles para comenzar el procesamiento, sin embargo una red de Petri puede ser ideal para sistemas de modelamiento de control de distribución con procesos múltiples ocurriendo concurrentemente.
Otra característica importante de las redes de Petries su naturaleza sincrónica. No hay medida inherente de tiempo o de flujo de tiempo en una red de Petri. Esto refleja una filosofía de tiempo con estados donde la única propiedad importante es el tiempo, desde un punto de vista lógico, es en definición de un orden parcial de ocurrencia de eventos. Los eventos toman montos variables de tiempo en la vida real; el modelo de red de Petri refleja...
La rápida evolución que se ha producido en el campo tecnológico en las últimas décadas, emergió junto con nuevos sistemas dinámicos como por ejemplo redes de computadora, sistema de producción automatizada, sistemas de control, etc. Todas las actividades en estos sistemas se deben a la ocurrencia asincrónica de eventos discretos algunos controlados (tales como el pulsado de unatecla) y otros no (como la falla espontánea de un equipo). Esta característica lleva a definir el termino Sistemas de Eventos Discretos (DES). Fue imprescindible también crear formalismos que permitan modelar, analizar y simular dichos sistemas dado la alta complejidad que estos tendían. Dentro de los formalismos más populares de representación se encuentran las redes de Petri (Petri Nets o PN), queproveen un lenguaje grafico muy conveniente para modelizar y analizar distintos problemas. Por otra parte, orientado a los problemas de modelización y simulación de DES, ubicamos a DEVS (Discrete EVent System specification), el formalismo mas general para el tratamiento de DES. El hecho de estar basado en teoría de sistemas, lo convierte en un formalismo universal, es decir, que en el puedenexpresarse todos los modelos descritos por cualquier otro formalismo DES, en particular los reproducidos en PN. Pese a su generalidad, DEVS no es un lenguaje grafico, y en gran cantidad de casos es mucho más simple obtener un modelo en redes de Petri que hacerlo directamente en DEVS. Por otro lado, hay muchos modelos que no pueden representarse con redes de Petri (aproximaciones de sistemas continuos,por ejemplo, o modelos híbridos en general), y que el formalismo DEVS puede simular de manera muy eficiente. Esto sugiere la conveniencia de utilizar ambos formalismos en conjunción. De hecho, hay un antecedente del uso de PN en un simulador DEVS. Sin embargo, debido a las características del simulador utilizado (CD++), en dicho trabajo, los modelos tienen muchas restricciones y se deben agregarpuertos y conexiones que no existen en la Red de Petri original. En el presente trabajo se desarrolla e implementa una metodología que permite utilizar redes de Petri dentro de una herramienta de modelado y simulación de DEVS denominada Power-DEVS. A diferencia de lo desarrollado en CD++, esta implementación respeta la apariencia gráfica de las redes de Petri, incluyendo temporizacion, asignaciónde prioridades e interconexión con otros modelos DEVS (incluyendo aproximaciones de modelos continuos). Además de describir la implementación, se muestran ejemplos de aplicación que utilizan la librería desarrollada.
Planteamiento del problema
La mayoría de los problemas sobre redes de Petri son decidibles, tales como el carácter acotado y la cobertura. Para resolverlos seutiliza un árbol de Karp-Miller. Se sabe que el problema de alcance es decidible, al menos en un tiempo exponencial.
Determinar Requerimientos
Características técnicas
Hay dos clases principales de entidades independientes en el sistema: El trabajo y el procesador. En el modelo de la red de Petri el evento relativamente solitario al otro, o el otro puede sincronizar las acciones de los trabajosy el procesador.
Sin embargo, cuando la sincronización es necesaria por ejemplo cuando ambos, un trabajo y un proceso libre tienen que estar disponibles para comenzar el procesamiento, sin embargo una red de Petri puede ser ideal para sistemas de modelamiento de control de distribución con procesos múltiples ocurriendo concurrentemente.
Otra característica importante de las redes de Petries su naturaleza sincrónica. No hay medida inherente de tiempo o de flujo de tiempo en una red de Petri. Esto refleja una filosofía de tiempo con estados donde la única propiedad importante es el tiempo, desde un punto de vista lógico, es en definición de un orden parcial de ocurrencia de eventos. Los eventos toman montos variables de tiempo en la vida real; el modelo de red de Petri refleja...
Leer documento completo
Regístrate para leer el documento completo.