Tarea_marcado_alcanzable
2
Considere la RP dada por Con los siguientes marcados Mo 1 0 1 0 0 , Md1 1 0 0 1 0 , Md2 1 0 0 0 1 , Md3 1 1 1 0 0 ,
Transcript of Tarea_marcado_alcanzable
7/21/2019 Tarea_marcado_alcanzable
http://slidepdf.com/reader/full/tareamarcadoalcanzable 1/2
Considere la RP dada por
Con los siguientes marcados
Mo
1
01
0
0
, Md1
1
00
1
0
, Md2
1
00
0
1
, Md3
1
11
0
0
,
7/21/2019 Tarea_marcado_alcanzable
http://slidepdf.com/reader/full/tareamarcadoalcanzable 2/2
a) Considerando el criterio de ortogonalidad con el Kernel de la matriz de
incidencia,
demuestre
si
Md1,
Md2,
y
Md3
son
marcados
alcanzables
b) Para
aquellos
marcados
alcanzables
determine
un
vector
de
disparos
que sea solución a la ecuación de evolución de la Red de Petri
c)
Determine
si
los
vectores
de
disparos
del
inciso
(b)
representan
una
secuencia
de
disparos
valida
para
la
Red
de
Petri
con
el
marcado
inicial
Mo dado.