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