PETRI NET Англо-русский перевод PETRI NET вчт. сеть Петри Big English-Russian polytechnic dictionary . Большой Англо-Русский политехнический словарь. 1997