Рис. 3. Строго сохраняющая сеть Петри
Взвешенная сумма для всех маркировок должна быть постоянной.
Для определения взвешенной суммы фишкам, не являющимся важны-
ми, присваивается вес 0, а другим фишкам — веса 1, 2, 3 или дру-
гое целое число. Так как каждая фишка характеризуется ее позицией
в сети, веса связаны с каждой позицией сети. Вектор взвешивания
w
= (
w
1
,
w
2
, . . .
wn
)
определяется весами
wi
для каждой позиции
p
i
,
принадлежащей множеству
Р
.
Рассмотрим систему, включающую два различных ресурса
q
и
r
и
два процесса. Если оба процесса нуждаются в обоих ресурсах, ресурсы
необходимо использовать совместно. Для выполнения этого требует-
ся, чтобы каждый процесс запрашивал ресурс, а затем освобождал его.
Предположим, что один из процессов (рис. 4,
а
)
вначале запрашивает
ресурс
q
,
затем ресурс
r
и, наконец, освобождает и
q
,
и
r
.
Второй про-
цесс (рис. 4,
b
)
работает аналогично, но сначала запрашивает ресурс
r
,
а затем
q
.
Начальная маркировка помечает ресурсы
q
(
Р
4)
и
r
(
Р
5)
как до-
ступные и указывает на готовность процессов
a
и
b
.
Одним выполне-
нием этой сети является последовательность
t
1
t
2
t
3
t
4
t
5
t
6
,
а другим —
t
4
t
5
t
6
t
1
t
2
t
3
.
Ни одно из этих выполнений не приводит к тупику.
Рассмотрим последовательность, которая начинается переходами
t
1
и
t
4
:
процесс
а
обладает ресурсом
q
,
чтобы получить
r
,
и в то
же время процесс
b
обладает ресурсом
r
,
чтобы получить
q
.
Система
Рис. 4. Распределение ресурсов
q
и
r
для двух процессов
ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2012
19
