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

х₃

х₄

х₁

х₇

х₅

х₂

х₅

х₅

х₀

х₂

х₁

х₇

х₀

х₅

х₀

х₀

х₅

х₂

х₃

х₀

х₂

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

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

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

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

х₀

х₇

х₅

х₅

х₅

х₄

х₄

х₃

х₂

х₂

х₅

х₀

х₀

х₃

х₀

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

1) х₃х₁х₇х₅х₅

2) х₄х₁

3) х₂х₃х₀х₂

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

1) х₂х₀х₀х₃

2) х₄х₅х₀

3) х₃х₁х₇х₂

7