ВУЗ:
Составители:
45
3.6 Сети Петри
Часто представляет интерес задача сравнения вычислительных процессов.
Для этого осуществляют их моделирование. Удобным математическим аппара-
том для построения формальных моделей вычислительных процессов являются
сети Петри. Различают сети типа N и сети типа PN. Ниже кратко рассматрива-
ются сети типа PN, как более общий случай.
Сетью Петри PN называют четверку объектов
(P,T,F,M
0
),
где P – непустое конечное множество мест, T – непустое конечное множество
переходов:
T
P
, F – функция инцидентности, такая, что каждое место
инцидентно какому-нибудь переходу, каждый переход инцидентен какому-
нибудь месту и
0
NPTTP
,
где
0
N – множество натуральных чисел, а M
0
– некоторая начальная разметка.
Для каждого места nip
i
,1, вводится разметка
ii
pMm
. Совокуп-
ность разметок всех мест
n
pppP ,...,,
21
образует разметку сети
n
mmmM ,...,,
21
. Разметку каждого места будем обозначать точками, поме-
щенными в это место (рис. 3.5). Разметка изменяется после срабатывания пере-
хода. Переход срабатывает в случае, когда число точек в каждом входном для
данного перехода
j
t месте
i
p больше или равно количеству стрелок, идущих из
этого места в данный переход:
jii
tpFpM ,
.
Процесс срабатывания переходов и смены разметки называют работой сети
Петри. На рис. 3.5 показана смена разметки сети Петри в случае, когда условие
срабатывания выполнено, т.е. функция инцидентности
1,
11
tpF . На рис. 3.6
приведен пример разметки, при которой переход t
1
не может сработать, т.к.
3,
12
tpF , в то время как m
2
=2.
Страницы
- « первая
- ‹ предыдущая
- …
- 43
- 44
- 45
- 46
- 47
- …
- следующая ›
- последняя »
