Transport automation research Transport automation research Автоматика на транспорте 2412-9186 81912 Электронное моделирование Electronic simulation Электронное моделирование Formalization of electronic processesdocumentation of the technical documentationwith the network of Petri networks ФОРМАЛИЗАЦИЯ ПРОЦЕССОВ ЭЛЕКТРОННОГО ДОКУМЕНТООБОРОТА ТЕХНИЧЕСКОЙ ДОКУМЕНТАЦИИ С ПОМОЩЬЮ СЕТЕЙ ПЕТРИ Булавский П Е Bulavsky P E Ваисов О К Vaisov O K Петербургский государственный университет путей сообщения Императора Александра I ru Emperor Alexander I St. Petersburg State Transport University ru Петербургский государственный университет путей сообщения Императора Александра I ru Emperor Alexander I St. Petersburg State Transport University ru 25 12 2018 25 12 2018 4 4 687 705 12 12 2018 15 12 2018 https://brni.editorum.ru/en/nauka/article/81912/view

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

Petri nets are a promising methodology for modeling various systems and processes, especially business processes, in particular, document fl ow of technical documentation.The article considers a new methodology for modeling the processes of electronic document management, taking into account the quality of technical documentation using the methodology of temporary Petri nets with deterministic delays in trig-gering transitions. The description of the simplifi ed model of electronic document circulation of technical documentation for devices of railway automation and tele-mechanics based on the apparatus of Petri nets is given. Using the developed sim-plifi ed DCTD model, a method for assessing the quality of technical documentation based on the time parameters of the DCTD process is proposed. The possibility of using the obtained Petri net model as an alternative for performing the verifi cation and validation procedures for the EDDD simulation model is shown.

 требования к моделям и методам электронного документооборота технической документации классические сети Петри детерминированные временны´е сети Петри качество технической документации маркировка позиции переходы ребра события условия входные и выходные функции requirements to models and methods of electronic document circulation of technical documentation classical Petri nets deterministic temporary Petri nets quality of technical documentation marking positions transitions ribs developments conditions input and output functions