Моделирование систем. Замятина О.М. - 110 стр.

UptoLike

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

Рубрика:

110

3.2.2. Сети Петри

Часто аналитики в задачах моделирования и анализа сложных па-

раллельных и асинхронных систем, обращаются к формальным систе-

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

Петри. Формальная часть теории сетей Петри, основанная в начале 60-х

годов немецким математиком Карлом А. Петри, в настоящее время со-

держит большое количество моделей, методов и средств анализа,

имеющих обширное количество приложений практически во всех от-

раслях вычислительной техники [39].

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

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

чающимся в результате этого глубоким проникновением в моделируе-

мые системы [9, 39].

Моделирование в сетях Петри осуществляется на событийном

уровне. Определяются, какие действия происходят в системе, какие со-

стояние предшествовали этим действиям и какие состояния примет сис-

тема после выполнения действия. Выполнения событийной модели в се-

тях Петри описывает поведение системы. Анализ результатов выполне-

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

вала система, какие состояния в принципе не достижимы. Однако, такой

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

темы. Развитие теории сетей Петри привело к появлению, так называе-

мых, «цветных» или «раскрашенных» сетей Петри. Понятие цветности в

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

других конструкций, более приближенных к языкам программирования.

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

двудольным мультиграфом, в котором одно множество вершин состоит

из позиций, а другое множество – из переходов [9, 11, 15, 19, 21], при-

чем множество вершин этого графа разбивается на два подмножества и

не существует дуги, соединяющей две вершины из одного подмножест-

ва.