Синтез цифровых автоматов. Захаров Н.Г - 124 стр.

UptoLike

ВУЗ: 

УлГТУ | Ульяновск

Составители: 

Рубрика: 

123
Представление
сетью
Петри
конечного
автомата
Входы Выходы
Представление
сетью
Петри
конечного
автомата
Входы Выходы
Рис. 7.23. Общий подход
к моделированию
Рис. 7.24. Альтернативный подход
Теперь для определения переходов из состояния в состояние можно ввести пе-
реходы сети следующим образом. Для каждой пары (состояние и выходной символ)
определяем переход, входными позициями которого являются позиции, соответст-
вующие состоянию и входному символу, а выходными позициями – позиции, соот-
ветствующие следующему состоянию и выходу (рис. 7.25).
1
R
0
1
R
0
Таким образом, для конечного автомата (Q, X, Y, δ, λ) определена сеть Петри
(P, T, I, O) следующим образом:
Р = Q ∪ X ∪ Y, T = {t
q
, x | q ∈ Q и x ∈ X},
I(t
q
, x) = {q, x},
O(t
q
, x) = {δ(q,x), λ(q, x)}.
Полученная сеть Петри является моделью конечного автомата.
q
q
Рис. 7.25. Сеть Петри, эквивалентная автомату на рис. 7.22

Страницы