a) Сеть Петри есть
;
b) Множество позиций 
;
c) Множество переходов 
;
d) Начальная маркировка 
.
e) Отношение инцидентности 
задано в виде таблицы.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
\ 
/
/
Получить двудольный граф изображающий сеть Петри 
.
Решение
 |
Задача 31
 |
Сеть Петри задана двудольным графом. Вычислить последовательность смены её маркировок.
Решение
1. Зададим формальное описание сети Петри.
a) Сеть Петри есть
.
b) Множество позиций 
.
c) Множество переходов 
.
d) Начальная маркировка 
.
e) Отношение инцидентности зададим в виде таблицы.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. Вычислим последовательность смены маркировок.
|
Из за большого объема этот материал размещен на нескольких страницах:
1 2 3 4 5 6 7 8 9 10 |
