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

                S пр (t  1)  S пр (0)  S i,З [ S ipk  S α , З  S ipk1 S α , З 
                  i              i

                                                           ( α )( α i )     ( α )( i1αi 1)

                 S ipk 2  S α , З    S ipk ( n 1)  S α, З],                                 (6.11)
                  ( α )(i  2αi 1)              ( α )(i  n 1αi 1)




                        где         - знак сложения по модулю n ;
        i
      S pk - сокращенное обозначение события, свидетельствующее о факте
  выполненного обслуживания i-го процесса при обращении к разделяемым
данным, которое определится в данном варианте как задержка события S ip на
                                один такт:
                                              i                   i
                                             S pk (t  1)  S р .                                   (6.12)
          П р и м е ч а н и е: Отметим некоторые особенности в
определении индексов событий S pk и S α,З в выражении (6.11). Если
    при определении верхнего индекса события S pk в результате
    сложения по модулю n получили нуль, то в качестве индекса
принимается не нуль, а величина n . Если при определении индекса
 события S α,З получилось противоречивое неравенство, например,
   33, то соответствующее событие S α,З не существует, тогда
                                 S α ,З  1 .
            i
          S пр (0) - сокращенное обозначение комбинационного события,
     определяющего начальный приоритет обслуживания i-го процесса.
                                   S пр (0)  S 0 xn S i , З  S α, З ,
                                         i
                                                                                                     (6.13)
                                                              ( α )(αi )

где S 0 - начальное событие системы управления обращением к разделяемым
                                  данным;
                                                              n
                                 S 0 (t  1)  x0  S pk  S 0 x n ,                                (6.14)
            где x n - сигнал инициализации системы управления;
       x0 - сигнал приведения системы управления в начальное состояние.
           Введение события S iпр (0) в условия зарождения события S ik ,
 обеспечивающего вход i-го процесса в критический участок, объясняется
  необходимостью обеспечения функции взаимоисключения на начальном
  этапе работы алгоритма управления параллельными процессами, когда в
один и тот же момент времени могли бы зародится сразу несколько событий
                                   типа S ik .



                                                                                                             167