ВУЗ:
Составители:
110
Сеть Петри должна сохранять ресурсы, которые она моделирует. Однако вза-
имно однозначного соответствия между фишками и ресурсами нет.
Фишка может представлять собой один программный счетчик или какой-
нибудь другой элемент или несколько ресурсов сразу. В этом случае фишка исполь-
зуется для создания кратных фишек путем запуска перехода с большим числом выхо-
дов, чем входов.
t1
t3
t2
t4
P1 P2
P5
P4P3
Рис. 7.7. Сеть Петри, не являющаяся строго сохраняющей
В общем случае следует определить взвешивание фишек. Взвешенная сумма
для всех маркировок должна быть постоянной. Фишкам, не являющимся важными,
можно присвоить вес 0; другим фишкам можно присвоить веса 1, 2, 3 или другое це-
лое число. Фишка определяется ее позицией в сети. Следовательно, веса связаны с
каждой позицией сети.
t1
t3
t2
t4
P1 P2
P5
P3 P4
Вектор взвешивания w = (w
1
, w
2
, ..., w
n
) определяет вес w
i
для каждой позиции
p
i
∈ Р.
Определение. Сеть Петри С = (P, T, I, O) с начальной маркировкой µ называет-
ся сохраняющей по отношению к вектору взвешивания w, где w = (w
1
, w
2
, ..., w
n
), при
Рис. 7.8. Строго сохраняющая сеть Петри, эквивалентная сети,
изображенной на рис. 7.7
Страницы
- « первая
- ‹ предыдущая
- …
- 109
- 110
- 111
- 112
- 113
- …
- следующая ›
- последняя »
