Недетерминированные автоматы в проектировании систем параллельной обработки. Вашкевич Н.П. - 100 стр.

       ~          ~
       S 1 ,..., Sn - сокращенное обозначение частных событий, реализуемых в
                      ветвях с 1-ой по n-ой;
       ~ - знак, означающий, что переменная может быть взята с отрицанием
или без отрицания.
       В соответствии с выражением (4.62) алгоритмический процесс
распространяется за вершину соединения, если будет истинным выражение
(4.62) т.е. имеет место соотношение:
                            S m (t  1)  S в (t ),                    (4.63)
где S m - первое событие, реализуемое в последовательной части алгоритма
          после соединителя.
      Практический интерес представляет ряд частных случаев задания
условий для объединения параллельных ветвей, которые формализуются с
использованием соединителей трех типов: конъюнктивного соединителя,
дизъюнктивного соединителя и конъюктивно-дизъюнктивного соединителя.
      Конъюнктивный соединитель J(&).
      При использовании такого соединителя алгоритмический процесс
распространяется за вершину соединителя в том случае, если имеет
определенное сочетание (конъюнкция) событий, отмечающих окончание
алгоритмического процесса в объединяемых ветвях взятых с отрицанием или
без отрицания. При этом возможны два частных случая. Первый случай
соответствует алгоритму, когда алгоритмический процесс распространяется
за вершину соединителя при условии окончания алгоритмического процесса
во всех объединяемых ветвях одновременно (в один и тот же момент
времени). Для такого соединителя имеет место соотношение:
                         ~      ~      ~
                   S в  S k1  S ki  S kn ,                    (4.64)
     Второй случай соответствует условию окончания алгоритмических
процессов во всех объединяемых ветвях, но не обязательно в один и тот лее
момент времени. В этом случае факт окончания алгоритмического процесса в
каждой из параллельных ветвей должен запоминаться, т.е. этот факт должен
найти отражение при формализации условий сохранения событий,
отмечающих окончание алгоритмического процесса в каждой из
параллельных ветвей. Тогда для любой i-ой ветви событие S 1k должно иметь
вид:
                   S ki (t  1)  S ki (0)  S ki  S в ,            (4.65)
где S ki (0) - сокращенное обозначение события, определяющего зарождение
               события S ki (его первоначальное появление).
     Из соотношения (4.65) следует, что событие S ki после         своего
зарождения сохраняется до тех пор, пока не будет истинным событие Sв.
     Дизъюнктивный соединитель J(v).

                                                                              100