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

UptoLike

ВУЗ: 

ТПУ | Томск

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

Рубрика: 

55
Моделирование в сетях Петри осуществляется на событийном
уровне. Определяются, какие действия происходят в системе, какие со-
стояние предшествовали этим действиям и какие состояния примет сис-
тема после выполнения действия. Выполнение событийной модели в се-
тях Петри описывает поведение системы. Анализ результатов выполне-
ния может сказать о том, в каких состояниях пребывала или не пребы-
вала система, какие состояния в принципе не достижимы. Однако такой
анализ не дает числовых характеристик, определяющих состояние сис-
темы. Развитие теории сетей Петри привело к появлению так называе-
мых «цветных» или «раскрашенных» сетей Петри. Понятие цветности
в них тесно связано с понятиями переменных, типов данных, условий
и других конструкций, более приближенных к языкам программирования.
Таким образом, структура сети Петри задается ориентированным
двудольным мультиграфом, в котором одно множество вершин состоит
из позиций, а другое множество – из переходов [14], причем множество
вершин этого графа разбивается на два подмножества и не существует
дуги, соединяющей две вершины из одного подмножества.
Итак, сеть Петри – это набор
N = (T, P, A), T Р = Ø, (3.14)
где Т = {t
1
, t
2
, ..., t
n
} – подмножество вершин, называющихся переходами;
Р = {p
1
, р
2
, ..., p
m
} – подмножество вершин, называющихся пози-
циями (местами);
А (T×P) (P×T) – множество ориентированных дуг.
В сетях Петри вводятся объекты двух типов: динамические – изо-
бражаются метками (маркерами) внутри позиций и статические – им со-
ответствуют вершины сети Петри.
Распределение маркеров по позициям называют маркировкой.
Маркеры могут перемещаться в сети. Каждое изменение маркировки
называют событием, причем каждое событие связано с определенным
переходом. Считается, что события происходят мгновенно и разновре-
менно при выполнении некоторых условий.
Каждому условию в сети Петри соответствует определенная пози-
ция. Совершению события соответствует срабатывание (возбуждение
или запуск) перехода, при котором маркеры из входных позиций этого
перехода перемещаются в выходные позиции. Последовательность со-
бытий образует моделируемый процесс. Перемещаемые по сети марке-
ры часто называют фишками. Основные элементы сети Петри представ-
лены в табл. 3.1.

Страницы