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

        Для формализации алгоритмов управления взаимодействующими
процессами будем использовать модели НДА, представленные в виде ГСАП
     и НДСКУ. В данном разделе рассмотрим формализацию некоторых
    простейших базовых структур управления, на основе которых можно
  формализовать более сложные управляющие конструкции, в том числе и
  базовые функции управления взаимодействующими процессами, к числу
    которых, как было отмечено ранее, относятся две функции: функция
               «ожидание» и функция «взаимоисключение».
       Функция «ожидание» включает в себя ожидание некоторого события,
  которое будет причиной (условием) прекращения существования другого
    события или наоборот будет причиной (условием) появления другого
                                события.
            Функция «взаимоисключение» обеспечивает (гарантирует)
   однозначность параллельных алгоритмов. Формализация этой функции
   основывается на понятиях несовместимости событий; принадлежащих
разным параллельным ветвям (процессам) алгоритма управления процессами
          и обеспечивающих вход в свои критические интервалы.
      Формализация простейших базовых структур управления основывается
  на использовании представления любого события S j модели НДА в виде
 формулы, входящей в систему рекуррентных предикатных выражений вида
                                 (1.12):
        Варьируя составом выражений для Ri и R j , входящих в формулы
    определяющие событие R j , можно влиять на условие зарождения и
  сохранения события S j . Учитывая эти обстоятельства можно выполнять
     описание событий, которые будут использованы для формализации
простейших управляющих конструкций. К числу простейших управляющих
    конструкций, которые будут использованы в дальнейшем, относятся:
      управление длительностью сохранения события и его зарождения
  (первоначального появления), представление несовместимости событий,
принадлежащим различным параллельным ветвям и условий их реализации.



     Сохранение события S j

       Если событие S j после его зарождения необходимо сохранять до
наступления или исчезновения другого события, например S p , то описание
                      события S j будет иметь вид:
           S j (t  1)  S j ,З  S j S p или S j (t  1)  S j ,З  S j S p   (6.1)
    где S j ,З - сокращенное обозначение описания условия зарождения


                                                                                   154