сеть Петри (для описания асинхронных алгоритмов в виде графа)
PETRI-NET
Англо-русский перевод PETRI-NET
Воскобойников Б.С., Митрович В.Л.. English-Russian dictionary of mechanical engineering and automation. Англо-Русский словарь по машиностроению и автоматизации производства. 2003