МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ
Федеральное государственное бюджетное образовательное учреждение
высшего профессионального образования
«ЛИПЕЦКИЙ ГОСУДАРСТВЕННЫЙ ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ»
АВТОМАТЫ И СЕТИ ПЕТРИ
Учебное пособие <...> С.Л. Блюмин, Н. Ю. Жбанова
Липецк
Липецкий государственный технический университет
2012
МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ
ФЕДЕРАЦИИ
Федеральное государственное бюджетное образовательное учреждение
высшего профессионального образования
«ЛИПЕЦКИЙ ГОСУДАРСТВЕННЫЙ ТЕХНИЧЕСКИЙ
УНИВЕРСИТЕТ»
АВТОМАТЫ И СЕТИ ПЕТРИ
Учебное пособие <...> С.Л. Блюмин, Н. Ю. Жбанова
Липецк
Липецкий государственный технический университет
2012
УДК 510.8
Б713
Рецензенты:
Кафедра электроники, телекоммуникаций и компьютерных технологий
Липецкого государственного педагогического университета
(зав. кафедрой доктор технических наук, профессор В.Н. Малыш);
Шуйкова И.А., кандидат технических наук, доцент ГБОУ ВПО «ЛГПУ»
Блюмин С.Л. <...> КОНЕЧНЫЕ АВТОМАТЫ
Многие реальные системы и процессы могут быть описаны
дискретными
моделями. <...> На основе теории автоматов некоторая система может быть
представлена
в
виде
автомата,
перерабатывающего
дискретную
информацию и меняющего свои внутренние состояния в дискретные
моменты времени (такты). <...> Автомат представляет собой некоторое устройство (черный ящик),
на которое передаются входные сигналы и снимаются выходные, при
этом изменяются внутренние состояния. <...> Автомат, у которого множества
значений внутренних состояний, входных и выходных сигналов
конечны, называется конечным (хотя он может преобразовывать
последовательности бесконечной длины). <...> В каждый момент времени такой автомат может находиться
4
в одном из четырех возможных состояний, {x0 , x1 , x2 , x3 } , и принимать на
вход один из двух возможных входных сигналов – оценки, получаемые
сыном в школе, {2,5} . <...> Начиная с начального состояния x 0 , автомат под
воздействием входных сигналов переходит <...>
Автоматы_и_сети_Петри_.pdf
формируют логику функционирования модели, давая транзактам
указания: куда идти и что делать дальше. В блоках могут происходить
события четырех типов:
1) создание или уничтожение транзакта;
2) изменение числового атрибута объекта;
3) задержка транзакта на определенный период времени;
4) изменение маршрута движения транзакта в модели.
В зависимости от назначения основные блоки можно разделить на
4 группы.
1. Блоки, осуществляющие модификацию атрибутов транзактов:
1) генерирование и уничтожение транзактов GENERATE, SPLIT,
TERMINATE, ASSEMBLE;
2) временная задержка ADVANCE;
3) синхронизация движения двух или нескольких транзактов
MATCH, GATHER;
4) изменение параметров транзактов ASSIGN, INDEX;
5) изменение приоритета транзакта PRIORITY.
2. Блоки, изменяющие последовательность движения транзактов
DISPLACE, TRANSFER, LOOP, TEST.
3. Блоки, описывающие объекты аппаратной категории:
1) одноканальные устройства SEIZE, RELEASE, RETURN;
2) многоканальные устройства ENTER, LEAVE;
3) логические переключатели LOGIC.
4. Блоки, обеспечивающие получение статистических результатов:
1) очереди QUEUE, DEPART;
2) таблицы TABULATE.
Всего среда GPSS содержит 53 типа блоков.
Аппаратные объекты являются аналогами обслуживающих
53
Стр.53