Ациклическую сетевую модель N(V,E) только с одним истоком и со стоками назовем сетью для формирования распределенного процесса, если каждый узел i из N определен через входную характеристику Х~ е { } и выходную характеристику X* е { 0,l,...,s(/ }, где множество узлов обозначается V, а множество дуг Е; /’(/),S(/)мощность множества предшественников и последователей узлов / соответственно. Характеристики, формирующие GERT-подобную узловую логику, имеют следующие значения. (а) Узел активируется сразу же, как только входные действия Xf завершаются. (б) Как только узел г активирован, то не более Х+ выходных действий начинает выполняться. Если узел i не активируется, то ни одно выходное действие не выполняется. Иногда уместно заменить термин "не более" в (б) на "точно". Условия (а) и (б) подразумевают, что каждое действие выполняется сразу, как только это становится возможно. Для источника г полагаем Х~ =0, т.е. он всегда активирован. Кроме того, Х + = 0 для ie S, где S множество стоков N. Нужно отметить, что, во-первых, если Xf=1, тогда узел i имеет ORвход, и, если Xf = />(»), то тогда i имеет ЛМЭ-вход. И если "не более" заменяется на "точно" в (б), то Xf=1 соответствует вероятностному выходу, а Xf =s(i)j соответствует детерминированному выходу. Во-вторых, если данная сеть N для формирования процессов имеет множество источников R fJ/?J>77 и множество R'c R, R' #0 активизируется в начале выполнения набора операций, то можно формально перевести N в соответствующую одно-истоковую сеть следующим образом. 73 |
Х+ g 0,1,...,5(/')(, где множество узлов обозначается V, а множество дуг Е; Р(/),5'(/')мощность множества предшественников и последователей узлов I соответственно. Характеристики, формирующие GERT-подобную узловую логику, имеют следующие значения. (а) Узел активируется сразу же, как только входные действия завершаются. (б) Как только узел i активирован, то не более X* выходных действий начинает выполняться. Если узел i не активируется, то ни одно выходное действие не выполняется. Иногда уместно заменить термин "не более" в (16) на "точно". Условия (а) и (б) из Опр. 1 подразумевают, что каждое действие выполняется сразу, как только это становится возможно. Для источника г полагаем Х~ = 0, т.е. он всегда активирован. Кроме того, Х+ = 0 для i g S, где 5 множество стоков N. Нужно отметить, что, во-первых, если Х[ =1, тогда узел i имеет ORвход, и, если Х[ = р(/), то тогда / имеет AND-bxor. И если "не более" заменяется на "точно" в (16), то ^/=1 соответствует вероятностному выходу, а Х+ = S(/') соответствует детерминированному выходу. Во-вторых, если данная сеть N для формирования алгоритмов имеет множество источников R и множество 7?'с= R, R' ^0 активизируется в начале выполнения набора алгоритмов, то можно формально перевести N в соответствующую одно-истоковую сеть следующим образом. Определение (2). Введем новый единый источник г0 и для каждого / g R введем вспомогательную дугу < г0, / >. Кроме того, установим Х~а = Z* = 0 и определим Х-_Г° &ля [1 для isR/R 96 |