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

UptoLike

ВУЗ: 

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

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

Рубрика: 

115
ция необходима, моделировать ее легко. Таким образом, сети Петри представляются
идеальными для моделирования систем с распределенным управлением, в которых
несколько процессов выполняется одновременно.
Другая важная особенность сетей Петри – это их асинхронная природа. В сети
Петри отсутствует измерение времени. Обычно последовательности происходящих
событий укладываются в различные интервалы времени, и это находит отражение в
модели сети Петри, но в полной независимости от времени управления последова-
тельностью событий. Структура сети Петри такова, что содержит в себе всю необхо-
димую информацию для определения возможных последовательностей событий. Та-
ким образом, событие «Завершение выполнения задания» должно следовать за соот-
ветствующим событием «Начало выполнения задания». Однако не требуется никакой
информации, связанной с количеством времени, необходимым на выполнение задания.
Выполнение действий в сети Петри (или поведение моделируемой системы)
рассматривается как последовательность дискретных событий. Порядок появления
событий может быть одним из любых возможных, допускаемых основной структу-
рой. Это приводит к явной недетерминированности в выполнении сети Петри. Если в
какой-то момент времени разрешено более одного перехода, то любой из нескольких
возможных переходов может стать «следующим» запускаемым. Выбор запускаемого
перехода осуществляется недетерминированным образом, т. е. случайно. Эта особен-
ность сети Петри отражает тот факт, что в реальной ситуации, где несколько дейст-
вий происходят одновременно, возникающий порядок появления события неоднозна-
чен: может возникнуть любая из множества последовательностей событий.
Основное положение теории относительности утверждает, что передача чего-
либо не может быть мгновенной. Любая информация о возникновении события рас-
пространяется в пространстве со скоростью, ограниченной скоростью света с. Это оз-
начает, что если два события и произойдут одновременно, то порядок возникновения
этих событий для двух разных наблюдателей может оказаться различным.
Для простоты обычно вводят следующее ограничение. Запуск перехода (и со-
ответственно события) рассматривается как мгновенное событие, занимающее нуле-
вое время, и возникновение двух событий одновременно невозможно. Моделируемое
таким образом событие называется примитивным; примитивные события мгновен-
ны и неодновременны.
Непримитивными называются такие события, длительность которых отлична
от нуля. Они не являются неодновременными и, следовательно, могут пересекаться во
времени. Так как выполнение большинства событий все же реально и длится некото-
рое время, то они являются непримитивными событиями и поэтому не могут долж-
ным образом моделироваться переходами в сети Петри. Однако непримитивное собы-
тие может быть представлено в виде двух примитивных событий: «Начало неприми-
тивного события», «Конец непримитивного события» и условия «Непримитивное со-
бытие происходит» (рис. 7.15).

Страницы