English ⇄ Russian

Petri net stresses
automat.	сеть Петри (для описания асинхронных алгоритмов в виде графа)
comp.	сетка Петри
IT	сеть Петри
media.	сеть Петри (графическая модель системы, предназначенная для анализа её статических и динамических свойств; сеть Петри обычно состоит из множества узлов, соединённых дугами (рёбрами), а конкретное состояние каждой ветви сети (динамические свойства) отображается меткой y узла); абстрактная модель информационного потока в сети связи, компьютере, системе управления или обработки данных, показывающая статические и динамические свойства системы
Petri-net
automat.	сеть Петри (для описания асинхронных алгоритмов в виде графа)

Petri net: 48 phrases in 7 subjects

Automated equipment	2
Data processing	1
Electronics	1
Information technology	3
Mathematics	2
Programming	38
Technology	1