ВУЗ:
Составители:
Рубрика:
52
с
препятствует допуску другого субъекта до тех пор, пока метка не будет пере-
мещена.
Рис. 2.42
Сеть Петри называется
безопасной
, если каждая позиция содержит не бо-
лее одной метки. Когда сеть Петри безопасна, в каждой позиции имеется либо
одна метка, либо они отсутствуют вообще, поэтому помещение метки в пози-
цию является бинарной операцией. Для большинства моделей контроля необ-
ходима безопасная сеть Петри, поскольку наличие метки может означать про-
текание процесса,
а ее отсутствие – сигнал о его остановке.
Сеть Петри называется
ограниченной
, если количество ме-
ток в каждой позиции не превышает некоторое целое число
k
. Ог-
раниченная сеть Петри предоставляет возможность контроля про-
блемы переполнения. Очевидно, что безопасная цепь Петри – ог-
раниченная. Сеть Петри, изображенная на рис. 2.43, ограниченной
не является.
В некоторых сетях Петри на вместимость позиций наклады-
ваются ограничения, и по условию количество меток не может
превышать эту вместимость.
Сеть Петри называется
консервативной
, если общее число
меток во всех позициях всегда постоянно. В этом случае количество меток на
входе каждого перехода равно количеству меток на выходе перехода. Если мет-
ки описывают ресурсы, то консервативная сеть Петри гарантирует, что никакой
ресурс не будет ни создан, ни утерян. Консервативная сеть Петри является оче-
видным образом
ограниченной. Сеть
Петри, изображенная на рис. 2.44, кон-
сервативна.
Рис. 2.44
•
р
2
р
1
t
1
Рис. 2.43
•
•
•
2 2
2 2
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
с
субъект А субъект B
Страницы
- « первая
- ‹ предыдущая
- …
- 51
- 52
- 53
- 54
- 55
- …
- следующая ›
- последняя »
