TY  JOUR
TI  ФОРМАЛИЗАЦИЯ ПРОЦЕССОВ ЭЛЕКТРОННОГО ДОКУМЕНТООБОРОТА ТЕХНИЧЕСКОЙ ДОКУМЕНТАЦИИ С ПОМОЩЬЮ СЕТЕЙ ПЕТРИ
KW  требования к моделям и методам электронного документооборота технической документации
KW  классические сети Петри
KW  детерминированные временны´е сети Петри
KW  качество технической документации
KW  маркировка
KW  позиции
KW  переходы
KW  ребра
KW  события
KW  условия
KW  входные и выходные функции
JO  Автоматика на транспорте
AU  Булавский, П.Е.
AU  Ваисов, О.К.
PY  2018
IS  4
PB  ФГБОУ ВО &quot;Петербургский государственный университет путей сообщения Императора Александра I&quot;