Часть работы (предпросмотр) :
+ ответы на обучающий тест
Дополнительный вопрос: Кратность выходной позиции (p k, О(t i)) показывает
сколько раз встречается pk в множестве выходных позиций перехода ti
В данной СП разрешенными переходами являются
t1, t4
|
Переход называется разрешенным, если каждая из его входных позиций имеет число фишек по крайней мере равное числу дуг из позиции в переход. Фишки во входной позиции, которые разрешают переход, называются его разрешающими фишками.
|
Для данной СП построить покрыващее дерево и определить наличие в нем
дублирующих вершин
расширенной маркировки
В данной СП с начальной маркировкой μ 0 последовательно сработали переходы: μ 0 [t 1, t 2, t 3]. Определить достижимую при этом маркировку.
0, 2, 1
В данной СП с начальной маркировкой μ 0 последовательно сработали переходы: μ 0 [t 4, t 4, t 1]. Определить достижимую при этом маркировку.
0, 2, 2
Проанализируйте покрывающее дерево сети Петри и определите, является ли сеть
Неограниченной
Несохраняющейся
Живая | 