ISSN 1991-2927
 

АПУ № 4 (58) 2019

МЕТОД ТРАНСЛЯЦИИ ДИАГРАММЫ С ОДНИМ ТИПОМ НАПРАВЛЕННОЙ СВЯЗИ В ИНГИБИТОРНУЮ СЕТЬ ПЕТРИ

УДК 004.896

Войт Николай Николаевич, кандидат технических наук, доцент, окончил факультет информационных систем и технологий Ульяновского государственного технического университета, доцент кафедры «Вычислительная техника» УлГТУ. Имеет более 150 научных статей в области интеллектуальных САПР, Сase-, Сals-технологий. Область научных интересов: автоматизация проектирования потоков работ, формальные языки и грамматики, автоматы, контроль и анализ бизнес-процессов, интеллектуальные системы обработки workflows, онтологии, автоматизированные среды обучения [e-mail: Этот адрес электронной почты защищен от спам-ботов. У вас должен быть включен JavaScript для просмотра. ]Н.Н. Войт,

Канев Дмитрий Сергеевич, кандидат технических наук, окончил факультет информационных систем и технологий УлГТУ. Имеет более 80 статей в области САПР. Область научных интересов: разработка и внедрение программно-аппаратных платформ, способствующих поддержке, интенсификации и повышению вовлеченности обучающихся в образовательный процесс с помощью информационных технологий. [e-mail: Этот адрес электронной почты защищен от спам-ботов. У вас должен быть включен JavaScript для просмотра. ]Д.С. Канев,

Кириллов Сергей Юрьевич, окончил факультет информационных систем и технологий УлГТУ, аспирант кафедры «Вычислительная техника» УлГТУ. Имеет более 20 статей в области САПР. Область научных интересов: визуальные языки построения бизнес-процессов и потоков работ, анализ графических диаграмм на наличие синтаксических и семантических ошибок, разработка и внедрение программно-аппаратных платформ, способствующих поддержке, интенсификации и повышению вовлеченности обучающихся в образовательный процесс. [e-mail: Этот адрес электронной почты защищен от спам-ботов. У вас должен быть включен JavaScript для просмотра. ]С.Ю. Кириллов

Метод трансляции диаграммы с одним типом направленной связи в ингибиторную сеть Петри57_5.pdf

Фундаментальная научная проблема теории управления бизнес-процессами заключается в повышении эффективности синтеза и обработки рабочих процессов автоматизированных систем с целью сокращения времени, затрачиваемого на их разработку и повышение качества диаграммных моделей с точки зрения контроля ошибок, сокращения семантического разрыва между анализом и исполнением бизнес-процессов.
Одним из подходов для их верификации является использование формализма сетей Петри, которые позволяют провести семантический и синтаксический анализы моделей, в том числе получить все возможные сценарии выполнения бизнес-процесса, определить никогда не выполняющиеся функции и тупиковые состояния системы, что особенно важно при анализе циклических процессов. При этом существующие методы трансляции графических диаграмм управления бизнес-процессами в сеть Петри являются специализированными и направлены на работу с одним-двумя графическими языками.
В статье предлагается метод перевода диаграмм с одним типом направленной связи в ингибиторную сеть Петри. Показано применение данного метода для трансляции потока управления EPC-диаграммы.

Бизнес-процессы, анализ графических языков, EPC, сеть Петри.


© ФНПЦ АО "НПО "Марс", 2009-2018 Работает на Joomla!