сеть вывода Множество всех возможных цепочек вывода
English-Russian Computer dictionary
Petri - net
сеть Петри Абстрактный автомат для описания асинхронных алгоритмов в виде ориентированного графа, вершины которого соответствуют действиям, а дуги - значениям.