%0 Journal Article
%T ФОРМАЛИЗАЦИЯ ПРОЦЕССОВ ЭЛЕКТРОННОГО ДОКУМЕНТООБОРОТА ТЕХНИЧЕСКОЙ ДОКУМЕНТАЦИИ С ПОМОЩЬЮ СЕТЕЙ ПЕТРИ
%A Булавский, П.Е.
%A Ваисов, О.К.
%K требования к моделям и методам электронного документооборота технической документации, классические сети Петри, детерминированные временны´е сети Петри, качество технической документации, маркировка, позиции, переходы, ребра, события, условия, входные и выходные функции
%J Автоматика на транспорте
%D 2018
%N 4
%P 18
%I ФГБОУ ВО &quot;Петербургский государственный университет путей сообщения Императора Александра I&quot;