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

UptoLike

ВУЗ: 

ТОГУ | Хабаровск

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

Рубрика: 

изображаются кратными дугами, поэтому сеть Петри в общем случае явля-
ется ориентированным двудольным мультиграфом. Рассмотрим пример сети
Петри C = 〈P, T, I, O〉.
I(t
1
) = {p
1
},
I(t
2
) = {p
2
, p
3
, p
5
},
I(t
3
) = {p
3
},
I(t
4
) = {p
4
}.
O(t
1
) = {p
1
, p
2
, p
3
},
O(t
2
) = {p
5
},
O(t
3
) = {p
4
, p
4
},
O(t
4
) = { p
2
, p
3
}.
Граф этой сети изображен на рис. 2. 2
Маркировка µ сетей Петри C = 〈P, T, I, O〉 – это функция, отображаю-
щая множество позиций Р в множество неотрицательных целых чисел N,
µ : Р → N. Другими словами, маркировка присваивает каждой позиции не-
которое, быть может, нулевое, число меток. На графе метки отображаются
точками внутри позиций. Сеть Петри с определенной на ней разметкой на-
зывается маркированной. Маркировку µ можно определить как n-мерный
вектор µ = (µ
1
, ..., µ
n
), где n = |Р| – число позиций, а µ
i
∈ N – число меток в
позиции p
i
.
t
4
t
3
t
2
t
1
P
5
P
3
P
2
P
1
P
4
Рис. 2. 2. Пример графа сети Петри
Число и расположение меток могут изменяться при выполнении сети
Петри, которое само зависит от числа и распределения меток по сети. Под
выполнением сети Петри понимается последовательность запусков перехо-
дов. Переход запускается удалением меток из его входных позиций и добав-
24

Страницы