Redes de petri

Solo disponible en BuenasTareas
  • Páginas : 4 (909 palabras )
  • Descarga(s) : 0
  • Publicado : 8 de febrero de 2011
Leer documento completo
Vista previa del texto
Redes de Petri
Programación el tiempo Real
Diciembre 14 del 2010 |

REDES DE PETRI

Introducción
• Una Red de Petri es un modelo gráfico, formal y abstracto para describir y analizar el flujode información.
• El análisis de las Redes de Petri ayuda a mostrar información importante sobre la estructura y el comportamiento dinámico de los sistemas modelados.
• La teoría de las Redesde Petri permite la representación matemática del sistema a ser modelado.
• Las Redes de Petri son de utilidad en el diseño de sistemas de hardware y software, para especificación, simulación ydiseño de diversos problemas de ingeniería.
• Las Redes de Petri pueden considerarse como autómatas formales o como generadores de lenguajes formales y tienen asociación con la teoría de grafos.
• Sonexcelentes para representar procesos concurrentes, así como, procesos donde pueden existir restricciones sobre la concurrencia, precedencia, o frecuencia de esas ocurrencias.
Definiciones Básicas
•Las Redes de Petri están compuestas de cuatro componentes básicos que forman su estructura: Un conjunto de plazas P, un conjunto de transiciones T, la función de entrada I, y la función de salidaO.
• Las funciones de entrada y salida relacionan las transiciones y las plazas.
• La función de entrada I es un mapeo a partir del conjunto de plazas de entrada hacia la transición tj, lafunción se puede escribir como I(tj).
• La función de salida O es un mapeo a partir de la transición tj hacia el conjunto de plazas de salida, la función de salida se puede escribir como O(tj).DEFINICION: Una estructura de Red de Petri RP, es una cuarteta RP = (P, T, I, O), donde:
1. P= {p1,p2,...,pn} es un conjunto finito de plazas, n≥1.
2. T={t1,t2,...,tm} es un conjunto finito detransiciones m≥ 1.
3. El conjunto de plazas y el conjunto de transiciones son disyunciones; entonces, R∪T ≠ 0 y P∩T = 0
4. I:P⇒T es la función de entrada, un mapeo desde las plazas de entrada hacia...
tracking img