00662naa#a2200193#i#450# EN\\bibl\81912 20250907175103.7 2412-9186 20181225b2018####ek#y0engy0150####ca RUS RU Formalization of electronic processesdocumentation of the technical documentationwith the network of Petri networks Journal article Saint-Petersburg FSBEI HE "Emperor Alexander I St. Petersburg State Transport University" 2018 18 с. Journal article local . 004.942+656.25 RUS Bulavsky P E Vaisov O K izvestiapgups.editorum.ru