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

5.1.3. Пример   построения   структуры   распределенной
системы       МПУ      по   управляющему      алгоритму
с взаимодействующими параллельными ветвями
Как было показано в разделе 5.2.1, если управляющий алгоритм содержит
параллельные взаимодействующие ветви, то для структурной реализации
такого алгоритма может быть предложена структура распределенной
системы управления, состоящая из нескольких параллельно работающих
подавтоматов, каждый из которых реализует одну из групп несовместимых
частных событий и главного подавтомата, реализующего последовательную
часть алгоритма управления и взаимодействие рабочих подавтоматов.
В качестве исходного управляющего алгоритма для примера построения
структуры распределенной системы МПУ примем управляющий алгоритм,
заданный на языке ГСАП (рис.4.6) с тремя параллельными ветвями и с
конъюнктивным соединителем, для которого выход алгоритмического
процесса за соединитель возможен только в том случае, когда закончится
алгоритмический процесс во всех ветвях, но не обязательно одновременно.
Особенностью данного примера управляющего алгоритма является то, что
начальная и заключительная компоненты последовательной части алгоритма
управления содержат только по одному событию: S0 и S8 (см. ГСАП на рис.
4.6).
Для нашего примера для исходного управляющего алгоритма имеет место 4
группы несовместимых частных S-событий (5.4):
Будем рассматривать структуру МПУ, состоящей из главного п/А и 3-х
рабочих п/А. Тогда в соответствии с изложенным исходная ГСАП (рис.4.6)
будет представлена следующими частными ГСА и соответствующими им
СКУ для частных S-событий:
Для главного п/А
                  S 0 (t  1)  x0  S8  S 0 xn ,
                 S 9 (t  1)  ( S 0 x n  S 9 ) S в ,
                                                                (5.5)
                 S 8 (t  1)  S 9 S в ,
                 S в  S k1 S k2 S k3 .




                                                                        129