Аннотация:
Рассматривается определение области применения аппарата сетей Петри для формализации технологических процессов с учетом особенностей электронного документооборота технической документаци, разработка имитационной модели для оценки качества технической документации на устройства систем железнодорожной автоматики и телемеханики путем анализа временных параметров выполнения технологических процессов. Используются методы теории сетей Петри, которая базируется на дискретно-событийной парадигме. Разработаны требования к средствам моделирования и классификация различных расширений сетей Петри, формализованы технологические цепочки процессов ЭДТД на базе цветных временных сетей Петри и упрощенная ИМ с использованием иерархических временных цветных сетей Петри для оценки качества технической документации технологических процессов электронного документооборота технической документации.
Представленные упрощенные модели технологических процессов электронного документооборота технической документации и возможности предложенной ИМ на базе аппарата сетей Петри дают возможность оценить качество электронного документооборота технической документации путем анализа состояния и фиксации времени выполнения операций. ИМ дает возможность определять проблемные участки технологических процессов при анализе состояния сетей Петри, в конечном итоге выработать рекомендации по снижению временных затрат на проектирование, проведение пусконаладочных работ и ведение комплекта технической документации, в целом способствуя повышению ее качества.
Ключевые слова:
электронный документооборот технической документации, цветные сети Петри, качество технической документации, маркировка, позиции, переходы, дуги, события, условия, иерархия, вложенность