Post on 16-Aug-2015
TAREAS E INVESTIGACIONES
Nombre: Lucero Martinez Fuentes No. Control: 14250238
Nombre del curso: Ingeniería de
software
Nombre del profesor: Navarrete
Prieto José Antonio
Unidad: 4 Actividad: tarea
Fecha: 10-05-15
Bibliografía: http://antares.itmorelia.edu.mx/~fmorales/SisDisII/aRedesPetri01.pdf
Título: QUE ES UNA RED PETRI.
Contenido: Es un modelo gráfico, formal y abstracto para describir y analizar el
flujo de 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 Redes de 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
y diseñ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. Son excelentes 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 salida O. 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, la funció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
TAREAS E INVESTIGACIONES
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 de transiciones 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 el conjunto de
transiciones. 5. O:T⇒P es la función de salida, un mapeo desde las
transiciones hacia el conjunto de plazas de salida. La cardinalidad del conjunto
P es n, y la cardinalidad del conjunto T es m; n,m ∈ N (N en los números
naturales). Un elemento arbitrario de P es pi, donde i=1,. . .,n, y un elemento
arbitrario de T es tj, donde j=1,...,m.
Grafo de la Red de Petri. Una representación gráfica de una Red de Petri es
de gran utilidad para ilustrar los conceptos de la teoría de las Redes de Petri.
En el grafo de la Red de Petri existen dos tipos de nodos que corresponden a
las plazas y transiciones, representadas por círculos y barras respectivamente
(, ). Las funciones de entrada y salida se representan por arcos dirigidos desde
las plazas a las transiciones y desde las transiciones a las plazas ( ).
Un arco es dirigido desde una plaza pi hasta una transición tj si la plaza es una
entrada hacia la transición. Similarmente, un arco es dirigido desde una
transición tj hacia una plaza pi si la plaza es una salida desde la transición.
Debido a que los arcos tienen dirección, entonces el grafo de la Red de Petri es
del tipo Grafo Dirigido.
Ventajas y Desventajas Ventajas El sistema completo frecuentemente es
fácil de entender debido a la naturaleza gráfica y precisa del esquema de
representación. El comportamiento del sistema se puede analizar usando la
teoría de red de Petri. Puesto que las redes de Petri pueden ser sintetizadas
usando los enfoques ascendente (bottom-up) y descendente (top-down), es
posible especificar sistemáticamente aquellos sistemas cuyo comportamiento
es conocido o fácilmente verificable.
Desventajas Las redes de Petri generales no pueden modelar ciertas
situaciones de prioridad. En general, el problema de alcanzabilidad en redes
de Petri, aunque decidible, se ha visto, que es de tiempo exponencial y fuerte
consumidor de espacio.
TAREAS E INVESTIGACIONES
Comentario: una red Petri es un modelo gráfico, formal y abstracto para
describir y analizar la información.