ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2012
23
Рис. 7. Алгоритм совместной работы конечных автоматов
Каждому блоку разбиения
i
T
,
как указывалось ранее, ставится в
соответствие управляющий автомат
.
i
R
На основании указанного
разбиения строятся связи между управляющими и управляемыми ав-
томатами следующим образом:
•
управляемый автомат
j
A
связан входом и выходом с управля-
ющим автоматом
i
R
в том случае, если блоку разбиения
i
T
принад-
лежит хотя бы один переход
k
t
такой, что
( )
Ψ |
j
j
k
p q
t
u z
=
,
т. е. пере-
ход сети Петри, соответствующий переходу автомата
j
A
из состоя-
ния в состояние;