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

                                                                               i
                               S i (t  1)  ( S i ,З  S i) S k ,
                                    i                      i       i               i   i
                               S k (t  1)  S i S вз S пр  S k S p ,
                                    i                          i
                               S p (t  1)  S nk S k ,
                                    i                              i       i
                               S r (t  1)  (S i  S r ) S p ,                                           (6.9)

                               S i,прод (t  1)  S ir S ip ,
                                                       1               2                       n
                               S m (t  1)  S k S1  S k S 2    S k S n ,
                               S nk (t  1)  S m ,
 где переменные S i,З , S i , S ik , S ip , S nk , S ir , S m , S i ,прод имеют тот же смысл, что и
    аналогичные переменные в системах уравнений (6.8а), (6.8б), (6.8в);
          i
      S вз - комбинационное событие, обеспечивающее взаимоисключение
критических интервалов на основе несовместимости события S ik с другими
  событиями из общего их числа n. Т.к. для всех событий типа S ik должно
 выполняться условие: S1k S 2k  S nk  S 1k S 2k S 3k  S nk    S k S 2k  S nk1 S nk  1 , то
               событие S iвз определится следующей формулой:
                                i                           α
                              S вз            
                                           ( α )( α i )
                                                          S k , i  1, n ,                                (6.10)

          i
      S пр - сокращенное обозначение события, обеспечивающего заданное
 приоритетное обслуживание i-го процесса при обращении к разделяемым
                                данным.
    В качестве примера в данном разделе принята циклическая дисциплина
                         обслуживания (рис.6.4).


              S0
                    1           2                …                     i                   …       n

                     S1,З           S2,З                                Si,З                       Sn,З

                        Рис.6.4. Схема циклической дисциплины
                                     обслуживания
          Для такой дисциплины S iпр может быть представлена следующим
                              выражением:




                                                                                                              166