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

UptoLike

ВУЗ: 

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

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

Рубрика: 

111
n = | P |, w
i
> 0, если для всех µ′ ∈ R(C, µ):
∑
∑
µ
⋅
=
µ
′
⋅
i
ii
i
ii
)p(w)p(w .
Строго сохраняющая сеть Петри является сохраняющей по отношению к век-
тору взвешивания (1, 1, ..., 1). Все сети Петри являются сохраняющими по отношению
к вектору взвешивания (0, 0, ..., 0).
7.3.3. Активность сети Петри
Рассмотрим систему, включающую два различных ресурса q и r и два процесса
а и b. Если оба процесса нуждаются в обоих ресурсах им необходимо будет совмест-
но использовать ресурсы. Для выполнения этого требуется, чтобы каждый процесс
запрашивал ресурс, а затем освобождал его. Предположим, что процесс а сначала за-
прашивает ресурс q, затем ресурс r и, наконец, освобождает и q, и r. Процесс b рабо-
тает аналогично, но сначала запрашивает r, а затем q (рис. 7.9).
Р6
Р7
Р8
t5
t4
t6
t1
t2
t3
P2
P1
P3
Процесс а Процесс b
Р5
Р4
Начальная маркировка помечает ресурсы 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.
Система заблокирована, то есть никакой процесс продолжаться не может.
Тупик в сети Петри – это переход (или множество переходов), которые не могут
быть запущены. В сети Петри (рис. 7.9) тупик возникает, если нельзя запустить перехо-
Рис. 7.9. Распределение ресурсов для случая двух процессов (а и b)
и двух ресурсов (q ( моделируется Р4) и r (моделируется Р5))

Страницы