ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2012
15
где
:
2
i
X
i
i
i
f U X
× →
–
функция переходов;
:
2
i
Z
i
i
i
h U X
× →
–
функ-
ция выходов;
0
i
x
–
начальное состояние автомата
.
i
A
Ограничения, накладываемые на управляемые автоматы в данной
работе, связаны с условием детерминированности синтезируемых
управляющих автоматов и подробно изложены в [2], поэтому мы не
будем останавливаться на них.
Следует отметить, что и управляющие, и управляемые автоматы
могут иметь
ε
-
переходы [7], т. е. совершать переходы из состояния в
состояние без обработки каких-либо входных символов. Таким обра-
зом, в качестве объекта управления задана группа автоматов.
При этом логика совместного функционирования задана безопас-
ной маркированной сетью Петри с ингибиторными дугами (2) с ис-
пользованием функций привязки параметров управляемых автоматов
к параметрам сети Петри (3), (4):
, , , , , ,
I
C P T I O F
μ
= <
>
(2)
где
P –
множество позиций;
T –
множество переходов;
ܫ
–
входная
функция;
О
–
выходная функция,
μ
–
функция маркировки,
ܨ
ூ
–
функция инцидентности, задающая ингибиторные позиции.
Функции привязки выглядят следующим образом:
1
Φ :
n
i
i
P XU
=
→
(3)
–
привязка позиций сети Петри к состояниям управляемых авто-
матов;
1
Ψ :
n
i
i
i
T
U Z
U
=
→ ×
(4)
–
привязка переходов сети Петри к парам (входной символ, вы-
ходной символ) управляемых автоматов.
На сеть Петри, задающую алгоритм совместного функциониро-
вания, наложены следующие ограничения, которые так же, как и
ограничения на управляемые автоматы, связаны с условием детерми-
нированности синтезируемых управляющих автоматов:
•
функции
I
,
O
сети Петри и функции
i
f
и
i
h
управляемых ав-
томатов должны быть согласованы, т. е. последовательность сраба-
тывания переходов множества
T
сети Петри должна соответствовать
последовательности переходов управляемых автоматов из состояния
в состояние;
•
при борьбе за ресурс нескольких управляемых автоматов должен
быть указан приоритет срабатывания соответствующих переходов се-
ти Петри с помощью ингибиторных дуг.