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

UptoLike

ВУЗ: 

ТОГУ | Хабаровск

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

Рубрика: 

Процессы А и В нуждаются в ресурсах q(р
4
) и r(р
5
). Начальная марки-
ровка показывает, что процессы готовы, а ресурсы доступны (метки в р
1
, р
6
,
р
4
, р
5
). Если будут запущены последовательно переходы t
1
и t
4
, то возникает
ситуация взаимного блокирования процессов (состояние тупика) в результа-
те того, что процесс А будет обладать ресурсом q(р
4
) и ждать ресурс r(р
5
), а
процесс В – наоборот.
t
6
t
5
t
4
t
3
t
1
t
2
Р
8
Р
7
Р
6
Р
5
Р
4
Р
3
Р
2
Р
1
Процесс А Процесс В
Рис. 2.10. Модель задачи о распределении ресурсов
Аналогичная ситуация возникает при последовательном запуске снача-
ла t
4
, затем t
1
. Для предотвращения тупиковых ситуаций необходимо внести
изменения в структуру модели, а значит и в алгоритм функционирования
системы. Например, введение дополнительных дуг – от р
6
к t
1
, от р
1
к t
4
, oт t
3
к р
6
, от t
6
, к р
1
– при начальной разметке, приведенной на графе, устраняет
появление тупиков, но при этом процессы А и В инициализируются пооче-
редно.
2.4. Свойства сетей Петри
Рассмотрим свойства сетей Петри, наличие которых желательно с неко-
торых точек зрения для моделей систем логического управления. Метки в
34

Страницы