Redes de Petri

CAD / CAM / CIM INTEGRACIN EMPRESARIAL
Programa Ingeniera en Automtica Industrial Oscar Amaury Rojas Alvarado

orojas@unicauca.edu.co Oficina 119 IPET
REDES DE PETRI
Integracin Empresarial UNICAUCA OSCAR A. ROJAS A.
Representacin Formal Analizar y validar Optimizar la dinmica
Evaluar la respuesta Documentacin

Integracin Empresarial UNICAUCA
Generacin automtica
OSCAR A. ROJAS A.
Systems Static Dynamic Time-varying Linear Time-invariant Nonlinear Discrete-State Event-Driven Stochastic
Continuous-Time
OSCAR A. ROJAS A.
Continuous-State
Time-Driven
Deterministic
Discrete-Time
Un sistema a eventos discretos (DES) es un sistema dinmico discreto y manejado por eventos, es decir, con espacio discreto de estados y su evolucin de estado depende completamente de la ocurrencia asncrona de eventos discretos.
Instituto Militar de Engenharia Instituto Militar de Engenharia Departamento de Engenharia Eltrica (DE/3) Departamento de Engenharia Eltrica (DE/3) Programa de Ps-Graduao em Engenharia Eltrica
OSCAR A. ROJAS A.
Discrete state x3
STATES are
piecewise constant HOLDING TIMES are deterministic/random EVENTS triggers state transition TRAJECTORY defined by (state, holding time) sequence
x4
Holding time
x2 x5 x1 e1 e2 e3 e4 e5 e6 time
UML: Secuencia, Colaboracin y Estados. IDEF2. GRAFCET. Autmatas finitos.
Redes de Petri.
Autmatas Finitos
Poseen estados numerados que no representan un estado concreto del sistema. En cada estado se permite nicamente un arco de entrada y uno de salida, no se permite el modelado de concurrencias.
OSCAR A. ROJAS A.
RdP
Mtodo Formal Validacin Formal Verificacin Formal Modelado secuencial Modelado Concurrente Incorporacin del tiempo Diseo Jerrquico
Grafcet
OSCAR A. ROJAS A.
Usted no puede tener un maana mejor, Si est pensando en el ayer todo el tiempo
Charles Kettering
DEFINICIONES DE REDES DE PETRI
OSCAR A. ROJAS A.
Una RdP Autnoma es una grfica bipartita dirigida, representada por una quntupla definida as R = <P, T, A, B, M>; donde:
P = {p1, p2,..., pn}: conjunto finito de lugares. Son denotados con crculos. T = {t1, t2,..., tm}: conjunto finito de transiciones. barras. Son denotados con
A: P X T N: Funcin de Incidencia Previa. Representa el arco dirigido de p a t de peso N. Donde N es el grupo de todos los nmeros naturales. B: P X T N: Funcin de Incidencia Posterior. Representa el arco dirigido de t a p de peso N. M: P N: Marcaje n-dimensional del sistema M(pi) es el nmero de marcas, representadas por Puntos, del i-simo lugar
Lugar Transicin Marca

p1
P = {p1 , p 2 , p 3 }
A(p1 , t1 ) = A(p 2 , t1 ) = A(p 3 , t 2 ) = 1
T = {t1 , t 2 }
A(p 3 , t1 ) = A(p1 , t 2 ) = A(p 2 , t 2 ) = 0 B(p 3 , t1 ) = B(p1 , t 2 ) = 1 1 0 , A(p, t) = 1 0 0 1
B(p1 , t1 ) = B(p 2 , t1 ) = B(p 3 , t 2 ) = B(p 2 , t 2 ) = 0
p2 t1 p3 t2
0 1 , B(p, t) = 0 0 1 0 1 1 C(p, t) = 1 0 1 1
C(p,t) : Matriz de Incidencia

p1
RM = P,T,A5x5,B5x5,M0 P={p1, p2, p3, p4, p5}
t4
t1
T={t1, t2, t3, t4, t5}

p3 p2
p5
t3 p4
t2
p A = 3 0 0 1 0 0 p4 0 0 0 0 1 p5 0 0 0 0 1
t2 t3 t4 t5 p1 1 0 0 1 0 p2 0 1 0 0 0
1
B = p3 1 0 0 0 0 p4 0 1 1 0 0 p5 0 0 0 1 0
2 3 4
t2 t3 t4 t5 p1 0 0 0 0 1 p2 1 0 0 0 0
1
t5
p p p p p M = 10000
0
5 T
OSCAR A. ROJAS A.
t = {p/I(p,t)>0} t = {p/O(p,t)>0}
p1 p2
Conjunto de lugares de entrada a una transicin t. Conjunto de lugares de salida de una transicin t.
p3
t1
t1
p1
p2
p3
p = {t/I(p,t)>0} p = {t/O(p,t)>0}
t1 t2
Conjunto de transiciones de entrada a un lugar p. Conjunto de transiciones de salida de un lugar p.

t3
P1
OSCAR A. ROJAS A.
p1
t1
Sea x = P T. La vecindad de x X, se define como:

p3
p2
nbh(x) = x U x nbh(t4) = t4 U t4 = {p4 ,p6}
t2
t3
p4
p5
t4 p6
t5
nbh(t1) = t1 U t1 = {p1, p2 ,p3} nbh(p5) = p5 U p5 = {t3, t5}
OSCAR A. ROJAS A.
Descripcin de la Evolucin del Marcado.

Una transicin est sensibilizada cuando todos los lugares que tienen arcos hacia a ella disponen de por lo menos igual nmero de marcas al arco correspondiente. Una transicin sensibilizada es disparada cuando se produce el evento al que se asocia. El disparo consiste en quitar marcas de cada uno de los lugares de entrada y aadir marcas a cada uno de los lugares de salida.
Mk+1 = Mk + CUk
Evolucin del Marcado
OSCAR A. ROJAS A.
OSCAR A. ROJAS A.
PRIMER EJEMPLO
Transiciones Permitidas
P2 P1
P3
t1
t2
P5
t3
P6
P4
SECUENCIA DE TRANSICIONES: t1 , t2 , t3 , t2 , t3
Si miras mucho tiempo hacia atrs, muy pronto vas a estar marchando en esa direccin
Jhon Mason
TIPOLOGIAS DE LAS REDES DE PETRI

Tipologas de las Redes de Petri
SECUENCIA
i1
i2
OSCAR A. ROJAS A.
PARALELISMO
i1 i2
j1
j2
OSCAR A. ROJAS A.
PROCESOS SIMULTANEOS
i2 i1
i3
SINCRONIZACION
i1 i3
i2
CITA (RENDEZ VOUS)

i1 i3 i4
i2
i5
OSCAR A. ROJAS A.
PROCESOS EXCLUYENTES
i1
i2
UNION
i1 i3
i2
RECURSO COMPARTIDO
i1
i2
SEGUNDO EJEMPLO
RECURSO COMPARTIDO
tr1 RECURSO
tr2
lr1
lr2
SECUENCIA DE TRANSICIONES: tr1 , lr1 , tr2 , lr2
Se puede conocer ms a una persona por lo que habla sobre los dems, que por aquello que los dems dicen de ella.
Leo Aikman
OSCAR A. ROJAS A.
ARBOL DE ALCANZABILIDAD
OSCAR A. ROJAS A.
Arbol de Alcanzabilidad
Corresponde a un mtodo esttico para realizar la validacin y verificacin de los modelos desarrollados, pudindose dar respuestas a preguntas tales como: Es posible alcanzar un estado final deseado a partir del estado inicial M0? Cual es el conjunto de todos los posibles estados finales a los que se puede llegar a partir del estado inicial M0? Es posible que el proceso entre en bloqueo? Que conjunto de transiciones hay que disparar para alcanzar un estado determinado?.
M0=(100) t1 t3 p2 t2 p1
t1
t0
p3
OSCAR A. ROJAS A.
M0=(100) t1 t3 p2 t2 p1 M1=(001) bloqueo t0
t1
p3
OSCAR A. ROJAS A.
M0=(100) t1 t3 p2 t2 p1 M1=(001) bloqueo t0 t3
t1
p3
OSCAR A. ROJAS A.
M0=(100) t1 t3 p2 t2 p1 M1=(001) bloqueo t0 t3 M3=(110)
t1
p3
OSCAR A. ROJAS A.
M0=(100) t1 t3 p2 t2 p1 M1=(001) bloqueo t0 t3 M3=(110) t1
t1
p3
OSCAR A. ROJAS A.
M0=(100) t1 t3 p2 t2 p1 M1=(001) bloqueo t0 t3 M3=(110) t1
t1
M4=(011) p3
OSCAR A. ROJAS A.
M0=(100) t1 t3 p2 t2 p1 M1=(001) bloqueo t0 t2 t3 M3=(110) t1
t1
M4=(011) p3
OSCAR A. ROJAS A.
M0=(100) t1 t3 p2 t2 p1 M1=(001) bloqueo t0 t2 M5=(001) bloqueo
t3 M3=(110) t1
t1
M4=(011) p3
t3 M3=(110) t1 t3
t1
M4=(011) p3
t3 M3=(110) t1 t3 M6=(1w0) No limitada
t1
M4=(011) p3
Aunque nadie puede retroceder y hacer un comienzo complemente nuevo, cualquier persona puede comenzar ahora y hacer un final complemente nuevo
Carl Bard
EXTENSIONES DE LAS REDES DE PETRI

REDES DE PETRI
RdP AUTNOMAS
RdP EXTENDIDAS
Red Simple
Redes Modela. Sistemas Continuos
Redes de Alto Nivel
Redes NoAutnomas
Redes con Arcos Inhibidores Redes Prioritarias
Red Pura
Continuas
Coloreadas
Temporizadas
Red de Libre Eleccin
Hbridas
Jerrquicas
Sincronizadas
Redes Difusas
Grado de Estados
Orientadas a Objetos
Interpretadas
Estocsticas Grafo M arcado
Mixtas
Red T-Restrictiva
Red Ordinaria
OSCAR A. ROJAS A.
Conectan lugares con transiciones y se usan para inhibir el disparo de las transiciones sobre las que inciden cuando el correspondiente lugar precondicin se encuentre marcado.
OSCAR A. ROJAS A.
Arco Inhibidor
i1 RECURSO P
i2
t1
t2
l1
l2
SECUENCIA DE TRANSICIONES: i2, i1 , t1

Redes de Petri Jerrquicas
Fusin de lugares Sustitucin de transiciones
OSCAR A. ROJAS A.
Sustitucin de Transiciones
(p30)
(p371) (p361)
(t36)
(t371) (t361)
(p372) (p362)
(p31)
(t37)
(t372) (t362)
(p373) (p363)
(p32)
OSCAR A. ROJAS A.
dummy_task dummy_task dummy_task Registrar
Enviar Cuestionario Evaluar Procesar Queja Procesamiento NOK Procesamiento Requerido
Manejo Cuestionario time_out
Procesar Cuestionario
Comprobar Procesar hasta Procesamiento OK Procesar
No Procesar
p dummy_task dummy_task PN3 PN4 Integracin Empresarial UNICAUCA PN1 Archivar
dummy_task PN2
OSCAR A. ROJAS A.
OSCAR A. ROJAS A.
Fusin de Lugares
FG P1
(t5) (t3)
FG P1
= =False True
(t6) = False
FG P2
FG P2
(t4)
(t3) = EqAbierto EqCerrado (t4) = EqAbierto EqCerrado (t5) = (t4) P5 P6 (t6) = (t3) P5 P6
OSCAR A. ROJAS A.
Usted no se ahoga porque cae en el agua, se ahoga porque se queda quieto, sin hacer nada, esperando el maana
Rev. Hugo Jcome
CAD / CAM / CIM INTEGRACIN EMPRESARIAL
Programa Ingeniera en Automtica Industrial Oscar Amaury Rojas Alvarado

orojas@unicauca.edu.co Oficina 119 IPET

Redes de Petri

Transféré par

Informations du document

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Redes de Petri

Transféré par

Droits d'auteur :

Formats disponibles

CAD / CAM / CIM INTEGRACIN EMPRESARIAL

Programa Ingeniera en Automtica Industrial Oscar Amaury Rojas Alvarado

Representacin Formal Analizar y validar Optimizar la dinmica

Evaluar la respuesta Documentacin

Integracin Empresarial UNICAUCA

UML: Secuencia, Colaboracin y Estados. IDEF2. GRAFCET. Autmatas finitos.

Integracin Empresarial UNICAUCA

DEFINICIONES DE REDES DE PETRI

Integracin Empresarial UNICAUCA

Lugar Transicin Marca

A(p1 , t1 ) = A(p 2 , t1 ) = A(p 3 , t 2 ) = 1

A(p 3 , t1 ) = A(p1 , t 2 ) = A(p 2 , t 2 ) = 0 B(p 3 , t1 ) = B(p1 , t 2 ) = 1 1 0 , A(p, t) = 1 0 0 1

B(p1 , t1 ) = B(p 2 , t1 ) = B(p 3 , t 2 ) = B(p 2 , t 2 ) = 0

C(p,t) : Matriz de Incidencia

RM = P,T,A5x5,B5x5,M0 P={p1, p2, p3, p4, p5}

T={t1, t2, t3, t4, t5}

Integracin Empresarial UNICAUCA

Conjunto de transiciones de entrada a un lugar p. Conjunto de transiciones de salida de un lugar p.

Integracin Empresarial UNICAUCA

Sea x = P T. La vecindad de x X, se define como:

nbh(x) = x U x nbh(t4) = t4 U t4 = {p4 ,p6}

nbh(t1) = t1 U t1 = {p1, p2 ,p3} nbh(p5) = p5 U p5 = {t3, t5}

Integracin Empresarial UNICAUCA

Descripcin de la Evolucin del Marcado.

Evolucin del Marcado

Integracin Empresarial UNICAUCA

Integracin Empresarial UNICAUCA

TIPOLOGIAS DE LAS REDES DE PETRI

Tipologas de las Redes de Petri

Integracin Empresarial UNICAUCA

Tipologas de las Redes de Petri

Tipologas de las Redes de Petri

Tipologas de las Redes de Petri

Tipologas de las Redes de Petri

CITA (RENDEZ VOUS)

Tipologas de las Redes de Petri

Tipologas de las Redes de Petri

Tipologas de las Redes de Petri

SECUENCIA DE TRANSICIONES: tr1 , lr1 , tr2 , lr2

Integracin Empresarial UNICAUCA

Integracin Empresarial UNICAUCA

Integracin Empresarial UNICAUCA

Integracin Empresarial UNICAUCA

Integracin Empresarial UNICAUCA

Integracin Empresarial UNICAUCA

Integracin Empresarial UNICAUCA

Integracin Empresarial UNICAUCA

Integracin Empresarial UNICAUCA

t3 M3=(110) t1 t3 M6=(1w0) No limitada

EXTENSIONES DE LAS REDES DE PETRI

Redes Modela. Sistemas Continuos

Redes de Alto Nivel

Redes con Arcos Inhibidores Redes Prioritarias

Red de Libre Eleccin

Estocsticas Grafo M arcado

Integracin Empresarial UNICAUCA

Integracin Empresarial UNICAUCA

SECUENCIA DE TRANSICIONES: i2, i1 , t1

Redes de Petri Jerrquicas

Fusin de lugares Sustitucin de transiciones

Integracin Empresarial UNICAUCA

Integracin Empresarial UNICAUCA

dummy_task dummy_task dummy_task Registrar

Enviar Cuestionario Evaluar Procesar Queja Procesamiento NOK Procesamiento Requerido