Самостоятельная работа №1

В данной сети Петри видно последовательное срабатывание сети переходов, что позволяет сделать вывод: данная сеть Петри относится к классу автоматов сети Петри. В качестве дополнительной вершины введена позиция Z, которая является конечной.

Видно, что сеть является недетерминированной, т.к. из позиции S существует три дуги, ведущие к одинаково помеченным переходам х₇. Эта недетерминированность ликвидируется за счет объединения позиций S¹,S³,F в одну позицию, аналогично с позициями S²,F⁴.

Найдем эквивалентные позиции, т.е. позиции, которые имеют одинаковые пути до конечной вершины. Такими являются следующие позиции: А ~ В ~ С, D ~ E, F² ~ F⁵, F³ ~ F⁶ ~ F⁸.

С учетом эквивалентных позиций изобразим полученную сеть Петри, соответствующую минимизированному детерминированному автомату.

х₄

х₁

х₄

х₃

х₅

х₅

х₁

х₇

х₂

х₇

х₅

х₀

х₆

х₆

х₀

х₅

х₁

Допускаемые цепочки:

1) х₇х₃х₅х₄х₅

2) х₄х₂

3) х₇х₅х₁х₇

Отвергаемые цепочки

1) х₇х₁х₀х₂

2) х₄х₄х₀

3) х₇х₅х₀

7