Redes de Petri.

Barranco Len Jess Alfredo.

Redes de petri, Barranco Leon Jesus Alfredo

Qu es una Red de Petri?

Una Red de Petri es una representacin matemtica de un sistema

distribuido discreto. Son una generalizacin de la teora de autmatas que permite expresar eventos concurrentes.

Redes de petri, Barranco Leon Jesus Alfredo

Grafo de la Red de Petri.

Una representacin grfica de una Red de Petri es de gran utilidad para ilustrar los conceptos de la teora 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 crculos y barras respectivamente (0,I).

Redes de petri, Barranco Leon Jesus Alfredo

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 transicin tj si la plaza es una entrada hacia la transicin.

Redes de petri, Barranco Leon Jesus Alfredo

Similarmente, un arco es dirigido desde una transicin tj hacia una plaza pi si la plaza es una salida desde la transicin.

Debido a que los arcos tienen direccin, entonces el grafo de la Red de Petri es del tipo Grafo Dirigido.

Redes de petri, Barranco Leon Jesus Alfredo

Grafo de la Red De Petri.

EJEMPLO 1. Considere la Red de Petri de la figura 3.1 cuya estructura est definida por la cuarteta RP = (P, T, I, O), donde cada componente est compuesto por:

P = {p1,p2,p3,p4,p5} el conjunto de plazas, T = {t1,t2, t3,t4} el conjunto de transiciones, I(t1) = {p1} O(t1) = {p2,p3,p5 }, I(t2) = {p2,p3,p5 } O(t2) = {p5}, I(t3) = {p3} O(t3) = {p4}, I(t4) = {P4} O(t4) = {p2,p3}.

Redes de petri, Barranco Leon Jesus Alfredo

Ejemplo:

Dudas y aclaraciones, con la profesora.

Redes de petri, Barranco Leon Jesus Alfredo

Bibliografa:
o

Red Petri. Wikipedia.org Instituto Tecnolgico de Morelia, Departamento de Sistemas y computacin. Redes de Petri como un modelo de especificacin formal.

Redes de petri, Barranco Leon Jesus Alfredo