Графы и сети. Харитонова Е.В. - 52 стр.

UptoLike

ВУЗ: 

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

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

Рубрика: 

51
Рис. 2.40
Одно из определений тупиковой сети Петри – сеть не живая. Следова-
тельно, существует такое состояние, что если сеть Петри находится в этом со-
стоянии, то один или более переходов могут никогда не сработать. Назовем это
состояние
частичным тупиком
. Будем говорить, что сеть Петри
находится в
тупике
, если имеется состояние, в котором ни один из переходов не может сра-
ботать. Таким образом, существует такое состояние
µ
, когда
δ
(
µ
,
t
) не опреде-
лена для всех переходов
t
.
Пример. Рассмотрим ситуацию, когда два процессора используют совместно два ре-
сурса, например, принтер и память, каждый из которых не может быть использован ими од-
новременно. Если один процессор имеет доступ к принтеру, а другой – к памяти, то оба не
могут завершить задания. Они также не могут освободить используемый ресурс, поэтому
система находится в тупике. Эта ситуация показана на рис. 2.41.
Рис. 2.41
Еще один пример,
проблему обедающих философов
, мы рассмотрим в уп-
ражнениях.
Другая, с которой приходится сталкиваться при использовании сети Пет-
ри для совместного использования файлов, – это проблема взаимного исключе-
ния. Предположим, что одновременный доступ двух людей к одним и тем же
данным нежелателен. Так, недопустимо, чтобы один человек читал данные, а
другой в это же время
их изменял. Эта проблема решается путем взаимного ис-
ключения. Пока один человек работает с данными, для другого доступ закрыт.
Такая ситуация проиллюстрирована на рис. 2.42. Единственная метка в позиции
•
•
•
•
ресурс I
д
оп
у
ск
выход
обработ-
допуск
задание а
д
оп
у
ск
допуск
обработ-
задание b
ресурс II
выход

Страницы