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

UptoLike

ВУЗ: 

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

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

Рубрика: 

102
рые моменты времени и длится некоторое время. В синхронных моделях дискретных
систем события явно привязаны к определенным моментам или интервалам времени,
в которые происходит одновременное изменение состояния всех компонентов систе-
мы, то есть изменение общего состояния системы. Смена состояний происходит по-
следовательно.
В сетях Петри обычно отказываются от введения в модели дискретных систем
времени и тактированных последовательностей изменений состояний, заменяя их
причинно-следственными связями между событиями (асинхронные модели). Если
возникает необходимость осуществить привязку ко времени, то моменты или интер-
валы времени представляют как события. Таким образом синхронные системы могут
описываться в терминах асинхронных моделей. Отказ от времени приводит к тому,
что события в асинхронной модели рассматриваются как элементарные (неделимые,
мгновенные) или как составные, имеющие некоторую внутреннюю структуру, обра-
зованную из подсобытий.
Взаимодействие событий в сложных асинхронных системах имеет, как прави-
ло, сложную динамическую структуру. Эти взаимодействия будут описываться более
просто, если указывать не непосредственные связи между событиями, а те ситуации,
при которых данное событие может реализоваться. При этом глобальные ситуации в
системе формируются с помощью локальных операций, называемых условиями реа-
лизации событий.
Условие имеет емкость: условие не выполнено (емкость = 0), выполнено (ем-
кость = 1), условие выполнено с n-кратным запасом (емкость = n, где n – целое поло-
жительное число). Условие соответствует таким ситуациям в моделируемой системе,
как наличие данных для операции в программе, состояние некоторого регистра в
ЭВМ и т. п. Определенные сочетания условий разрешают реализоваться некоторому
событию (предусловия события), а реализация события изменяет некоторые условия
(постусловия события), т. е. события взаимодействуют с условиями, а условия – с со-
бытиями.
Таким образом, предполагается, что для решения указанных задач достаточно
представлять дискретные системы как структуры, образованные из элементов двух
типов: событий и условий.
В сетях Петри события и условия представлены абстрактными символами из
двух непересекающихся алфавитов, называемых соответственно множеством пере-
ходов и множеством позиций. В графическом представлении сетей переходы изо-
бражаются «барьерами» или планками (t), а позиции – кружками (Р) (рис. 7.1).
Условия и события-переходы связаны отношением непосредственной зависи-
мости, которое изображается с помощью направленных дуг, ведущих из позиции в
переходы и из переходов в позиции. Позиции, из которых ведут дуги на данный пере-
ход, называются его выходными позициями. Позиции, на которые ведут дуги из дан-
ного перехода, называются его входными позициями.

Страницы