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

UptoLike

ВУЗ: 

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

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

Рубрика: 

47
В сети Петри, изображенной на рис. 2.22, срабатывание перехода t
1
даст в
результате сеть Петри, изображенную на рис. 2.23.
Рис. 2.22 Рис. 2.23
В сети Петри, изображенной на рис. 2.24, срабатывание перехода t
1
даст в
результате сеть Петри, изображенную на рис. 2.25
Рис. 2.24 Рис. 2.25
В сети Петри, изображенной на рис. 2.26, срабатывание перехода t
1
даст в
результате сеть Петри, изображенную на рис. 2.27, поскольку имеется ориенти-
рованное ребро из
t
1
обратно в р
1
.
Рис. 2.26 Рис. 2.27
Переход t может сработать, когда каждая позиция р
i
такая, что имеется
ориентированное ребро из
р
i
в t, содержит метку. Когда такая ситуация имеет
место, говорят, что переход
t разрешен. Переход t
i
в сети Петри, изображенной
на рис. 2.28, не может сработать, поскольку в
р
2
нет метки.
Рис. 2.28
В некоторых случаях необходимо, чтобы при срабатывании перехода
удалялась или прибавлялась более чем одна метка. Если при срабатывании пе-
рехода
t из позиции р необходимо удалить более чем одну метку, то ориентиро-
ванное ребро из
р в t помечается таким количеством меток, которое следует
удалить из
р. Если меток нет, то их количество по умолчанию предполагается
●
р
1
р
3
t
1
●
р
2
●
р
1
р
3
t
1
р
2
●
р
1
р
3
t
1
р
2
●
р
1
р
3
t
1
●
р
2
●
р
1
р
2
t
1
● ●
р
1
р
2
t
1
●
р
1
р
3
t
1
р
2

Страницы