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

UptoLike

ВУЗ: 

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

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

Рубрика: 

119
зиция, соединенная с переходом обычной дугой с кратностью w (p, t) содержит не ме-
нее w(p, t) фишек, а каждая входная позиция, соединенная с переходом t ингибитор-
ной дугой (ее кратность всегда равна 1), имеет нулевую разметку.
Например, используя ингибиторную дугу, можно промоделировать оператор
условного вычитания (если x
i
≠ 0, то x
i
= x
i
- 1) и получить фрагмент ингибиторной
сети (рис. 7.20).
Px
PP
х - 1
t' t''
Рис. 7.20. Фрагмент ингибиторной дуги
Ингибиторные сети используются для разработки диагностических моделей
средств вычислительной техники.
В приоритетных сетях вводят приоритеты срабатывания переходов. Если не-
сколько переходов являются разрешенными, то срабатывает тот из них, который име-
ет наивысший приоритет. Такие сети используются для моделирования систем на
уровне задач.
В структурированных сетях некоторые из переходов являются сложными.
При их срабатывании запускается сеть другого уровня иерархии (рис. 7.21).
Срабатывание t
2
приводит к запуску сети другого уровня. Выполнение слож-
ного перехода заключается в помещении во входную позицию по сети фишки. После
выполнения сети фишка появляется в ее выходной позиции, затем формируются
фишки в выходных позициях сложного перехода.
Р1
t1
t3
Р1 Р2
t1
t2
Выходная
позиция
t
Входная
позиция
t4
Р4
Р3
Р2
t2
Рис. 7.21. Структурированная сеть Петри
Преобразование сети к виду, имеющему один вход и один выход, всегда воз-
можно. Такие сети используются для моделирования модульных вычислительных
l
l
′
l
′
′
l
i
i
λ
l
′
l
′′

Страницы