Cтраница 4
На каждом шаге описанной процедуры строятся результирующие диаграммы двухранговых сетей. Введение операторов позволяет полностью исключить перебор. Так как результирующие диаграммы для каждого оператора строятся независимо друг от друга, то мы ограничимся случаем одновыходных сетей. [46]