Перед выполнением лабораторной работы необходимо ознакомиться с её содержанием, подробно изучить представленные в Приложении 1 материалы, описывающие действия пользователя по преобразованию DFD-диаграмм в DFD/PN-модель. Для простоты в рамках данной лабораторной указанное преобразование требуется провести для 0-го уровня DFD-диаграммы, описывающей бизнес-процесс.
На первом этапе контекстная диаграмма бизнес-процесса преобразуется в сеть Петри на основе следующей процедуры:
· для каждого элемента DFD-диаграммы строится соответствующий ему фрагмент сети Петри, который помещается внутри обозначения элемента ( см. Приложение1 ),
· если при этом оказывается, что пара позиций соответствует дублирующим друг друга накопителям, то одну из этих позиций, а также соединяющий позиции переход удаляется,
· отождествленным между собой выходному переходу одного фрагмента и входному переходу другого фрагмента присваивают одинаковое обозначение (соответствующие переходы срабатывают одновременно, и только одновременно, и, следовательно, неразличимы. Про такие переходы говорят, что они находятся в “связке”),
· переходы, находящиеся в связке, соединяются пунктирной линией, которая помечается обозначением соответствующего потока данных.
От DFD/PN-модели можно перейти к динамическому представлению системы в виде “чистой” сети Петри. С этой целью переходы, находящие в связке, заменяются одним переходом (“склеиваются”). При этом все входящие (выходящие) стрелки для связанных переходов становятся входящими (выходящими) для нового перехода, который обозначается так же, как и исходные переходы. Последние, а также соединяющие их пунктирные линии с рисунка удаляются.
На втором этапе проводится:
· построение дерева достижимости для выбранного совместно с преподавателем фрагмента сети Петри, соответствующего сформированной ранее DFD модели бизнес-системы,
· имитационное моделирование фрагмента сети Петри, соответствующего сформированной ранее DFD модели бизнес-системы.
Отчётный материал предоставляется преподавателю, и результаты выполненной работы защищаются.