%0 Journal Article
%T Formalization of electronic processesdocumentation of the technical documentationwith the network of Petri networks
%A Bulavsky, P.E.
%A Vaisov, O.K.
%K 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
%J Transport automation research
%D 2018
%N 4
%P 18
%I FSBEI HE "Emperor Alexander I St. Petersburg State Transport University"