Моделирование систем управления. Шалобанов С.В. - 28 стр.

UptoLike

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

Рубрика:

Пусть некоторый переход в маркировке µ разрешен и, следовательно,

может быть запущен. Результат запуска перехода в маркировке µ есть новая

маркировка µ'. Говорят, что µ' является непосредственно достижимой из

маркировки µ.

а б

Рис. 2.3. Маркированная сеть Петри: а – до срабатывания перехода t

;

б – после срабатывания перехода t

2.3. Моделирование с помощью сетей Петри

Простое представление системы сетью Петри основано на двух осново-

полагающих понятиях: событиях и условиях. События – это действия,

имеющие место в системе. Возникновением событий управляет состояние

системы. Состояние системы может быть описано множеством условий. Ус-

ловие – это предикат или логическое описание состояния системы. Условие

может принимать

либо значение «истина», либо значение «ложь».

Условия, выполнение которых необходимо для возникновения события,

называются его предусловиями. При возникновении события система пере-

ходит в состояние, характеризующееся выполнением условий, называемых

постусловиями.

Рассмотрим задачу моделирования логического управления технологи-

ческим участком, на котором детали проходят весь путь обработки.

Для этой системы выделим следующие условия:

– деталь ожидает обработки;

Б – технологический робот свободен;