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

UptoLike

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

Рубрика:

а б

Рис. 2.5. Представление в терминах сетей Петри: a – параллельных

процессов; б – конфликтных ситуаций

В другой ситуации (рис. 2.5, б), называемой конфликтной, разрешенные

переходы имеют общую разрешающую метку, и поэтому запуск одного пе-

рехода удаляет общую метку и таким образом запрещает другой переход.

Таким образом, сети Петри – удобный инструмент для моделирования

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

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

раллелизм и конфликты.

Введение параллелизма полезно только в том случае, когда компоненты

процессов могут взаимодействовать при решении задачи. Такое взаимодей-

ствие требует распределения ресурсов между процессами. Для обеспечения

правильности работы системы в

целом распределением необходимо управ-

лять. При взаимодействии процессов возникает проблема синхронизации.

Рассмотрим моделирование некоторых разновидностей задачи синхрониза-

ции.