Применение сетей Петри для проверки корректности абстрактного сценария.

Сеть Петри используется для выявления ошибок абстрактного сценария технических и бизнес-систем. С этой целью сценарий трансформируем в сеть Петри и далее проверяем свойства сети. Применительно к сценарию проверяются три свойства:

- Сеть Петри должна быть ограниченной;

- при работе сети Петри не должны появляться неконечные тупиковые состояния, в которых не активирован ни один переход;

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

Проверка корректности сценария бизнес-системы может быть

организована 2 способами:

- глобальная процедура;

- локальная процедура.

Сценарий бизнес-системы будем считать корректным, если:

- корректны все образующие его сценарные модули

- модули корректно согласованы

Преимущества использования сетей Петри в моделировании и анализе бизнес-систем.

- большие выразительные способности в представлении параллельных асинхронных систем;

- способность представления локального управления, параллельных, конфликтных, недетерминированных и асинхронных событий;

- графическое представление сети;

- понятность модели и легкость ее изучения;

- возможность иерархического моделирования на их основе;

- возможность описания системы на различных уровнях абстракции;

- возможность представления системной иерархии;

- возможность машинной поддержки в проектировании.

Лекция 5. Е – сети

В результате развития аппарата сетей Петри был разработан ряд расширений, наиболее мощными из которых являются так называемые Е-сети (evaluation — «вычисления», «оценка») — «оценочные сети».

В отличие от сетей Петри, в Е-сетях:

- имеются несколько типов вершин-позиций: простые позиции, позиции-очереди, разрешающие позиции;

- фишки (метки) могут снабжаться набором признаков (атрибутов);

- с каждым переходом может быть связана ненулевая задержка и функция преобразования атрибутов фишек;

- введены дополнительные виды вершин-переходов;

- в любую позицию может входить не более одной дуги и выходить также не более одной.

В связи с этим любой переход может быть описан тройкой параметров: , где — тип перехода, — функция задержки, отражающая длительность срабатывания перехода, — функция преобразования атрибутов меток.

Метки интерпретируются как транзакты, перемещающиеся по сети, а вершины-переходы трактуются как устройства, выполняющие ту или иную обработку транзактов.