00649naa#a2200193#i#4500001001500000005001700015011001400032100004100046101000800087102000700095200013700102210010100239215001100340608002700351675002600378700001800404700001600422856001700438EN\\bibl\8191220250216192339.7##a2412-9186##a20181225b2018####ek#y0engy0150####ca0#aRUS##aRU1#aFormalization of electronic processesdocumentation of the technical documentationwith the network of Petri networkseJournal article1#aSaint-PetersburgcFSBEI HE "Emperor Alexander I St. Petersburg State Transport University"d2018##a18 с.##aJournal article2local##a. 004.942+656.25zRUS#1aBulavskygP E#1aVaisovgO K4#aatjournal.ru