ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2012
24
•
управляющий автомат
i
R
связан с управляющим автоматом ,
j
R
если выполнено одно из двух условий:
а) существует позиция сети Петри, являющаяся одновременно
выходной для одного из переходов блока разбиения
i
T
и входной для
одного из переходов блока
j
T
;
б) существует простой путь в сети Петри между каким-либо пере-
ходом блока разбиения
i
T
и переходом блока
j
T
,
содержащий только те
переходы, на которых значение функции
Ψ
не определено (такая ситу-
ация возможна в случае использования вспомогательных переходов при
задании логики совместной работы управляемых автоматов, т. е. функ-
ция
Ψ
в общем случае может быть частично определена).
Структура управляющей сети, соответствующая выбранному
разбиению, показана на рис. 8, диаграммы управляющих автоматов
1
6
R R
−
приведены на рис. 9 и 10. Для построения автоматов
1
5
R R
−
использован аналог алгоритма, подробно рассмотренного в [2] и ос-
нованного на построении формальной системы, описывающей воз-
можные вход-выходные последовательности автоматов, которые со-
ответствуют переходам сети Петри согласно функции
( )
Ψ .
k
t
Рис. 8. Структура управляющей автоматной сети