ВУЗ:
Составители:
вать запросы, распределения и освобождения устройств ввода-вывода в вы-
числительной системе. В этих моделях систем некоторые метки могут со-
ставлять ресурсы. Для сетей такого типа в результате запуска переходов
метки, представляющие ресурсы, не уничтожаются и не создаются, т.е. на-
блюдается своего рода сохранение меток.
Сеть Петри C = 〈P
, T, I, O〉 с начальной маркировкой µ называется
строго cохраняющей, еcли
∑
∑
∈∈
=
′
PpPp
ii
ii
pµpµ )()(
, ∀ µ' ∈ R(c, µ),
т.е. общее количество меток в процессе выполнения сети остается постоян-
ным. Строгое сохранение – это очень сильное ограничение. Из него немед-
ленно следует, что число входов в каждый переход должно равняться числу
выходов, т.е.
│I(t
j
)│=│O(t
j
)│, ∀ j.
Если бы это было не так, то запуск перехода изменил бы число меток в
сети.
На рис. 2.11 приведен пример сети, не являющейся строго сохраняю-
щей, поскольку запуск переходов t
1
или t
2
уменьшает число меток на едини-
цу, а запуски переходов t
3
или t
4
увеличивают это количество на единицу.
Сеть является два ограниченной, поскольку позиции р
3
и р
4
два ограничены,
а остальные позиции один ограничены (безопасны).
Сеть Петри с начальной маркировкой µ называется сохраняющей по
отношению к вектору взвешивания ω = (ω
1
, ω
2
, ..., ω
n
), если
∑
∑
=
ii
iiii
pµωpµ'ω )()(
, ∀ µ' ∈ R(c, µ).
Строго сохраняющая сеть является сохраняющей по отношению к век-
тору взвешивания ω = (1, 1, ..., 1). Так рассматриваемая сеть (рис. 2.11) явля-
ется сохраняющей по отношению к вектору взвешивания ω = (1, 1, 1, 1, 0).
36
Страницы
- « первая
- ‹ предыдущая
- …
- 36
- 37
- 38
- 39
- 40
- …
- следующая ›
- последняя »
