Académique Documents
Professionnel Documents
Culture Documents
|
1 0 0 0 0
0 0 1 1 0
t1
t2
p1 p2 p3 p4 p5
|
|
|
|
0 0 0 1 0
0 0 0 0 1
t1
t2
|
|
|
|
|
.
\
=
+
0 0 0 0 1
0 0 0 1 0
0 1 0 0 0 C
t3
t4
t5 |
|
|
|
|
.
\
=
1 1 0 0 0
1 0 0 0 0
0 0 1 0 0
0 0 0 1 0
C
t3
t4
t5
Matriz de incidencia previa
p1 p2 p3 p4 p5
|
|
|
|
1 0 0 1 0
0 0 1 1 1 t1
t2
Matriz de incidencia posterior
Programacin Concurrente:
Redes de Petri
Mercedes Granda
Departamento de Electrnica y Computadores
34
|
|
|
|
|
.
= =
+
1 1 0 0 1
1 0 0 1 0
0 1 1 0 0
1 0 0 1 0
C C C
t2
t3
t4
t5
Matriz de incidencia
18
REDES DE PETRI:
REPRESENTACIN MATRICIAL
La definicin matricial de una red de Petri
RdP=(P T C
+
C
-
) es equivalente a la utilizada RdP=(P,T, C , C ) es equivalente a la utilizada
hasta ahora, pero permite redefinir los
conceptos en trminos vectoriales y matriciales.
Una transicin t
j
se define por un vector e
j
de
dimensin m (nmero de transiciones) de
Programacin Concurrente:
Redes de Petri
Mercedes Granda
Departamento de Electrnica y Computadores
35
dimensin m (nmero de transiciones) de
componentes:
( )
=
=
=
j i si
j i si
i e
j
0
1
REDES DE PETRI:
REPRESENTACIN MATRICIAL
Una transicin tj est habilitada en un marcado M si
M > e
j
C
-
El resultado del disparo de la transicin t
j
a partir del estado M, si est
habilitada, es:
M' = M + e
j
C
El resultado de aplicar una secuencia de disparo de transiciones =t
j1
t
j2
t
jk
se puede representar como:
(M, ) = (M,t
j1
t
j2
t
jk
) = M + e
j1
C + e
j2
C +...+ e
jk
C =
= M + (e
j1
+ e
j2
+...+ e
jk
) C = M +f( ) C
Programacin Concurrente:
Redes de Petri
Mercedes Granda
Departamento de Electrnica y Computadores
36
(
j1 j2 jk
) ( )
El vector f()= e
j1
+ e
j2
+...+ e
jk
se denomina vector de disparo de la
secuencia t
j1
t
j2
t
jk
. La i-sima componente de f() es el nmero de veces
que la transicin t
i
se dispara en la secuencia t
j1
t
j2
t
jk
. El vector de disparo
es, por tanto, un vector de enteros no negativos.
19
REPRESENTACIN MATRICIAL:
EVOLUCIN DEL MARCADO
( ) 0 0 0 0 1 M
Disparo de la transicin t1
( ) 0 0 0 0 1
0
= M
( ) 0 0 0 0 1
1
= e
0 0 0 0 1
|
|
|
La transicin t1 est habilitada:
Programacin Concurrente:
Redes de Petri
Mercedes Granda
Departamento de Electrnica y Computadores
37
( ) ( ) 0 0 0 0 1
1 1 0 0 0
1 0 0 0 0
0 0 1 0 0
0 0 0 1 0
0 0 0 0 1
0 0 0 0 1
1 0
=
|
|
|
|
|
|
.
|
\
|
= - >
C e M
REPRESENTACIN MATRICIAL:
EVOLUCIN DEL MARCADO
t1 t1
Programacin Concurrente:
Redes de Petri
Mercedes Granda
Departamento de Electrnica y Computadores
38
( ) ( ) ( ) 0 0 1 1 0
1 1 0 0 1
1 0 0 1 0
0 1 1 0 0
1 0 0 1 0
0 0 1 1 1
0 0 0 0 1 0 0 0 0 1 =
|
|
|
|
|
|
.
|
\
|
+ =
M=M
0
+e
1
C=
20
REPRESENTACIN MATRICIAL:
EVOLUCIN DEL MARCADO
Resultado de la secuencia de disparo t1, t2, t3:
f()=e
1
+e
2
+e
3
=(1 1 1 0 0)
(M, )=M
0
+ f()C
( ) ( ) ( ) 1 1 0 0 0 0 1 1 0 0
1 0 0 1 0
0 0 1 1 1
0 0 1 1 1 0 0 0 0 1 ) (
|
|
|
|
o M
Programacin Concurrente:
Redes de Petri
Mercedes Granda
Departamento de Electrnica y Computadores
39
( ) ( ) ( ) 1 1 0 0 0
1 1 0 0 1
1 0 0 1 0
0 1 1 0 0 0 0 1 1 1 0 0 0 0 1 ) , ( =
|
|
|
|
.
\
+ = o o M