Синтез цифровых автоматов. Захаров Н.Г - 107 стр.

UptoLike

ВУЗ: 

УлГТУ | Ульяновск

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

Рубрика: 

106
Р{p
1
, p
2
, p
3
, p
4
, p
5
},
T{t
1
, t
2
, t
3
, t
4
},
I(t
1
) = {p
1
}, I(t
2
) = {p
2
, p
3
, p
5
}, I(t
3
) = {p
3
}, I(t
4
) = {p
4
},
О(t
1
) = {p
2
, p
3
, p
5
}, О(t
2
) = {p
5
}, О(t
3
) = {p
4
}, О(t
4
) = {p
2
, p
3
}.
Рис. 7.2. Структура сети Петри С(Р, Т, I, О)
На рис. 7.2 структура сети Петри представлена в виде четверки, которая состо-
ит из множества позиций (Р), множества переходов (Т), входной функции I : T → P
∞
и выходной функции О : T → P
∞
.
Р1 Р5
Р2
Р4
Р3
t1
t2
t4
t3
Рис. 7.3. Граф сети Петри G(V, A)
Таким образом, граф сети Петри, изображенный на рис. 7.3 эквивалентен структуре
сети Петри на рис. 7.2.
7.2.3. Маркировка сетей Петри
Маркировка µ сети Петри заключается в присвоении фишек (маркеров) пози-
циям сети Петри. Маркировка сети Петри есть функция, отображающая множество
позиций Р в множество неотрицательных целых чисел N.
µ : Р → N.
Если маркированная сеть Петри М = (С, µ) есть совокупность структуры
сети Петри С = (Р, Т, I, О) и маркировки µ, то она может быть записана в виде
М = (Р, Т, I, О, µ).
На рис. 7.4 представлена маркированная сеть Петри.
Р1 Р5
Р2
Р4
Р3
t1
t2
t4
t3
Рис. 7.4. Маркированная сеть Петри. Маркировка (0, 2, 0, 5, 1)

Страницы