TY  JOUR
TI  Formalization of electronic processesdocumentation of the technical documentationwith the network of Petri networks
KW  requirements to models and methods of electronic document circulation of technical documentation
KW  classical Petri nets
KW  deterministic temporary Petri nets
KW  quality of technical documentation
KW  marking
KW  positions
KW  transitions
KW  ribs
KW  developments
KW  conditions
KW  input and output functions
JO  Transport automation research
AU  Bulavsky, P.E.
AU  Vaisov, O.K.
PY  2018
IS  4
PB  FSBEI HE "Emperor Alexander I St. Petersburg State Transport University"