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

UptoLike

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

56
14.
В сетях Петри (упражнение 13) найдите:
а)
все возможные состояния сети Петри;
б)
состояние после срабатывания перехода t
1
;
в)
состояние после последовательного срабатывания переходов t
1
и t
2
;
г)
любое тупиковое состояние;
д)
любое частично тупиковое состояние.
15.
Постройте пример сети Петри, в которой два перехода разрешены, но сраба-
тывание каждого из них блокирует другой.
16.
Постройте пример сети Петри, которая является безопасной, но не является
живой.
17.
Постройте пример сети Петри с ограничением 4.
18.
Постройте пример сети Петри, которая является консервативной, но не яв-
ляется ограниченной.
19.
Постройте пример сети Петри, которая является консервативной, но не яв-
ляется безопасной.
20.
Постройте сеть Петри, которая эквивалентна сети, изображенной на рис.
2.41, но является тупиковой.
21.
Может ли консервативная сеть Петри быть тупиковой?
22.
Приведите пример сети Петри, которая имеет состояние, недостижимое из
исходного состояния.
23.
Постройте сеть Петри, которая частично тупиковая, но не тупиковая.
24.
Проблема обедающих философов формулируется следующим образом: пять
философов сидят за столом, чтобы есть и размышлять. В любой заданный
промежуток времени они могут делать что-то одно. Философы едят китай-
ское блюдо, используя палочки, поэтому для еды каждому необходимо
иметь две палочки. Когда философы размышляют, палочки не нужны. На
столе между двумя
сидящими лежит одна палочка, т.е. всего пять палочек.
Очевидно, что если философы одновременно возьмут правую палочку, то
каждый будет лишен пищи. Постройте сеть Петри, моделирующую эту за-
дачу, которая не была бы тупиковой, т.е. когда философ будет приниматься
за еду, у него для этого будут две палочки по
обе стороны от него.