Применение сетей Петри для моделирования

При проектировании новых и исследовании существующих дискретных систем управления применяется несколько способов, которые укладываются в два подхода.

Первый подход заключается в том, что проектируемая система вначале представляется традиционным способом (графом, блок-схемой алгоритма), затем она моделируется сетью Петри, анализ которой позволяет обнаружить изъяны и модернизировать сеть.

Второй подход противоположен первому. Проектирование начинается с создания сети, ее исследования и освобождения от изъянов, а затем по сети строится традиционный алгоритм.

При реализации первого подхода для правильного перевода блок-схемы алгоритма в сеть Петри необходимо каждую дугу исходной программы представить вершиной-местом в сети Петри, а узлы блок-схемы (анализ условий, решение, ввод, вывод и т.д.) заменить переходами (рис. 3.11).

Для успешного применения сетей Петри с целью моделирования программ требуется различная интерпретация условий и позиций (мест), событий и переходов. Сети Петри могут также применяться для моделирования аппаратных средств от простых логических устройств до процессоров и ЭВМ.

Рисунок 3.11 – Пример перевода блок-схемы алгоритма в сеть Петри

Если моделируется конечный автомат, то начальная разметка задается одной фишкой, помещаемой в начальное состояние автомата. Каждому состоянию автомата сопоставляется место в сети Петри, а каждая дуга разрезается переходом и помечается тем же символом, которым помечена дуга на графе переходов автомата.