Пример. Представление сети Петри в виде графа и в виде структуры сети Петри

Графы сетей Петри.

Для иллюстрации понятий теории сетей Петри гораздо более удобно графическое представление сети Петри. Теоретико - графовым представлением сети Петри является двудольный ориентированный мультиграф. В соответствии с этим граф сети Петри обладает двумя типами узлов:

кружок O является позицией,

планка | является переходом.

Ориентированные дуги соединяют позиции и переходы. Дуга направленная от позиции p_i к переходу t_j определяет позицию, которая является входом перехода t_j. Кратные входы в переход указываются кратными дугами из входных позиций в переход. Выданая позиция указывается дугой от перехода к позиции. Кратные входы также представлены кратными дугами.

Определение 3. Граф G сети Петри есть двудольный ориентированный мультиграф G=(V,A) где

V = {v1,V2,...,v_s} - множество вершин

А = {a1,a2,...,a_r} - комплект направленных дуг,

a_i={v_j,v_k} где v_j,v_k Î V.

Множество V может быть разбито на 2 непересекающихся подмножества Р и Т, таких что P ÇT = 0, и если a_i = (v_j,v_k), тогда либо v_j Î P и v_k Î T, либо v_j ÎT и v_k Î P.

Сеть Петри есть мультиграф, т.к. он допускает существование кратных дуг от одной вершины к другой. Т.к. дуги направлены, то это ориентированный мультиграф. Граф является двудольным, т.к. он допускает существование вершин двух типов: позиций и переходов.

Пусть задана следующая структура сети Петри: C = (P,T,I,O), n=5, m=4

P = {p1,p2,p3,p4,p5} T = {t1,t2,t3,t4}

I(t1)={p1} O(t1)={p2,p3,p5}

I(t2)={p2,p3,p5} O(t2)={p5}

I(t3)={p3} O(t3)={p4}

I(t4)={p4} O(t4)={p2,p3}

Для сети, изображенной на рис. 3 расширенными входной и выходной функциями являются:

рис. 3

I(p1)={} O(p1)={t1}

I(p2)={t1,t4} O(p2)={t2}

I(p3)={t1,t4} O(p3)={t2,t3}

I(p4)={t3} O(p4)={t4}

I(p5)={t1,t2} O(p5)={t2}

Пример 2. Пусть задана следующая структура сети Петри: C = (P,T,I,O)

P={p1,p2,p3,p4,p5,p6} T={t1,t2,t3,t4,t5} n=6, m=5.

I(t1)={p1} O(t1)={p2,p3}

I(t2)={p3} O(t2)={p3,p5,p5}

I(t3)={p2,p3} O(t3)={p2,p4}

I(t4)={p4,p5,p5,p5} O(t4)={p4}

I(t5)={p2} O(t5)={p6}

рис. 4

Заметим, что оба представления сети Петри - в виде структуры и в виде графа - эквивалентны. Их можно преобразовать друг в друга.

1.4 Маркировка сетей Петри.

Маркировка m есть присвоение фишек позициям сети Петри. Фишка - это одна из компонент сети Петри (подобно позициям и переходам). Фишки присваиваются позициям. Их количество при выполнении сети может изменяться. Фишки используются для отображения динамики системы.

Маркированная сеть Петри есть совокупность структуры сети Петри C = (P,T,I,O) и маркировки m и может быть записана в виде M = (P,T,I,O, m). На графе сети Петри фишки изображаются крупными точками в кружке, который представляет позицию сети Петри. Количество фишек (точек) для каждой позиции не ограничено и, следовательно, в целом для сети существует бесконечно много маркировок. Множество всех маркировок сети, имеющей n позиций, является множеством всех n векторов, т.е. Nⁿ. Очевидно, что хотя это множество и бесконечно, но оно счетно. Когда маркировка превышает 4 или 5 фишек, то в кружках удобнее не рисовать фишки, а указывать их количество как на рис. 3.7.

рис. 5

Маркировка m=(12,22,8,10) - как вектор. Может оказаться, что структура остается неизменной, а маркировка иная, например вектор маркировки будет иметь вид m = (13,22,9,10)

Дата добавления: 2014-01-20