ВУЗ:
Составители:
46
а б
Рис. 3.5. Смена разметки сети Петри: а – до срабатывания перехода t
1
,
б – после срабатывания перехода t
1
Рис. 3.6. Разметка сети Петри, при которой переход t
1
не может сработать
Говорят, что разметка M
2
непосредственно следует за разметкой M
1
, если
существует переход
T
t
, срабатывание которого изменяет разметку M
1
на M
2
.
Процесс смены разметок записывают в виде
qq
MtMtMtMtM
...
3322110
.
При этом разметка
q
M считается достижимой от разметки
0
M . Множество
достижимых разметок от разметки
0
M обозначается как
00
,MPNR
.
Сети Петри являются подходящим аппаратом для моделирования вычис-
лительных процессов с целью выявления типичных ошибок, возникающих при
написании параллельных программ, например, блокировка и отталкивание.
Блокировка и отталкивание возникают в ситуации, когда несколько задач, по-
лучая доступ к общему ресурсу, не могут его поделить между собой. При этом
вычислительный процесс затрудняется или даже полностью парализуется.
На рис. 3.7 приведен пример представления сетью Петри алгоритма, в ко-
тором два взаимодействующих процесса используют общие ресурсы (p
1
; p
2
). В
данном случае, если срабатывают переходы t
13
и t
23
, то возникает ситуация бло-
кировки. Вычисления в обоих процессах не могут начаться до тех пор, пока не
сработают переходы t
12
и t
22
. Но они не могут сработать до тех пор, пока не сра-
ботают переходы t
16
и t
26
, ожидающие завершения вычислений, которые не мо-
гут начаться.
Страницы
- « первая
- ‹ предыдущая
- …
- 44
- 45
- 46
- 47
- 48
- …
- следующая ›
- последняя »
