00649naa#a2200193#i#450# EN\\bibl\81912 20250224023536.1 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 itt-pgups.ru