Моделирование систем управления. Шалобанов С.В. - 45 стр.

UptoLike

Составители: 

P
1
P
4
P
3
t
1
t
2
t
3
P
2
Рис. 2.15. Пример для иллюстрации матричного представления сетей
Петри
Матрицы D
, D
+
, D для этой сети имеют следующий вид:
.
110
111
021
000
;
100
010
020
001
;
010
101
001
001
=
=
=
+
DDD
В начальной маркировке µ = (1, 0, 1, 0)
Т
переход t
3
разрешен и приводит
к маркировке:
.
1
0
0
1
1
1
0
0
0
1
0
1
1
0
0
110
111
021
000
0
1
0
1
=
+
=
×
+
='
µ
Последовательность σ = t
3
, t
2
, t
3
, t
2
, t
1
представляется вектором запусков
f(σ) = (1, 2, 2)
T
и приводит к маркировке
43