Сетевой оператор - это ориентированный граф, обладающий следующими свойствами:
а) в графе отсутствуют циклы;
б) к любому узлу, который не является источником, имеется хотя бы один путь от узла-источника;
в) от любого узла, который не является стоком, имеется хотя бы один путь до узла-стока;
г) каждому узлу-источнику соответствует элемент из множества переменных или из множества параметров;
д) каждому узлу соответствует бинарная операция из множества бинарных операций;
е) каждой дуге графа соответствует унарная операция из множества унарных операций.
