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

UptoLike

ВУЗ: 

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

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

Рубрика: 

49
Рис. 2.31 Рис.2.32
Вполне очевидно, что в конце концов все метки переместятся в р
5
, и про-
цесс завершится. Процесс в сети Петри, изображенной на рис. 2.34, никогда не
завершится, поскольку переход
t
1
всегда разрешен.
Рис. 2.33 Рис.2.34
Сеть Петри на рис. 2.35 выполняет вычисления (a + b) × (c + d). Каждый
из переходов
t
1
или t
2
не сработают.
Рис. 2.35
Состояние
µ
i
называется непосредственно достижимым из состояния
µ
i
,
если срабатывание какого-либо перехода
t в то время, пока сеть находится в со-
стоянии
µ
i
, приводит к состоянию
µ
j
. Более формально, состояние
µ
j
непосред-
ственно достижимо из состояния
µ
i
, если существует переход t такой, что
µ
j
=
• •
• •
р
5
р
2
t
2
t
3
t
4
р
3
р
4
t
1
2
р
1
•
•
•
•
•
р
5
р
2
t
2
t
3
t
4
р
3
р
4
t
1
2
р
1
•
•
•
•
•
р
5
р
2
t
2
t
3
t
4
р
3
р
4
t
1
2
р
1
●
а
a + b
t
1
●
b
●
c
c+d
t
2
●
d
+
+
×
t
3
(a + b) (c + d)
•
р
2
р
1
t
1

Страницы