Моделирование с помощью сетей Петри
Существуют системы, необходимые для поддержки набора взаимосвязанных процедур, составляющих сложные производственные процессы (бизнес-процессы). Их задача состоит в контроле за логикой потока работ целой организации, взаимодействием интегрируемых приложений [1], [2]. Для достижения эффективности реализации бизнес-процессов были разработаны методы и инструментальные средства описания, проектирования, анализа и оценки бизнес-процессов, концепции и правила их реорганизации, а также информационные технологии поддержки. В качестве языка моделирования предлагается язык сетей Петри (разработки МГУ).
Моделирование бизнес-процесса на языке сетей Петри достаточно прямое – задачи мы изображаем переходами, условия – позициями, а случаи моделируются фишками.
Рассмотрим моделирование сети Петри на примере процесса обработки жалобы.
В первую очередь, жалоба регистрируется (задача зарегистрировать). Затем параллельно необходимо послать анкету на заполнение “ябеде” (задача послать_ анкету) и оценить заявление (оценить). Если в течение двух недель от “ябеды” приходит ответ, то он должен быть обработан (обработать_анкету). В противном случае, результат процесс должен быть завершен (время_истекло). В зависимости от результатов оценки жалоба либо обрабатывается, либо нет. Фактическая обработка жалобы (задача обработать_жалобу) откладывается до тех пор, когда будет проведен опрос (или истечет время). Обработка жалобы проверяется задачей проверить. И завершается процесс (в любом случае, но с разными результатами) выполнением задачи архив.
Задачи зарегистрировать,послать_анкету, оценить, обработать_анкету, обработать_жалобу, время_истекло, проверить, архив изображены на рисунке переходами. Переходы OK и NOKдобавлены для моделирования двух возможных исходов выполнения задачи проверить. По тем же причинам добавляются переходы обработать требования и отказать. Для моделирования состояний между выполнением задач служат условия, представленные позициями. Например, позиция c2 соответствует условию “готов оценивать жалобу”, а условие c5- верно (т.е. позиция c5 содержит фишку), когда обработана анкета или истекло время. Условия i и oсоответственно начальное и конечное условия.
предыдущаяследующая