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

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

Структура сети Петри представляет собой совокупность позиций и переходов. В соответствии с этим граф сети Петри обладает двумя типами узлов. Кружок О является позицией, а планка переходом.

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

Сеть Петри есть мультиграф, так как он допускает существование кратных дуг от одной вершины графа к другой. Следует добавить, что так как дуги являются направленными, то это ориентированный мультиграф. Мы знаем, что вершины графа можно разделить на два множества (позиции и переходы) таким образом, что каждая дуга будет направлена от элемента одного множества (позиций или переходов) к элементу другого множества (переходов или позиций); следовательно, такой граф является двудольным ориентированным мультиграфом. В дальнейшем для простоты будем называть его просто графом сети Петри.

Определение 2.3. Граф сети Петри есть двудольный ориентированный мультиграф, где множество вершин, комплект направленных дуг, а где Множество V может быть разбито на два непересекающихся подмножества таких, что и для любой направленной дуги если тогда либо либо

Графы сети Петри, изображенные на рис. 2.4 — 2.6, эквивалентны структурам сети Петри на рис. 2.1 — 2.3.

Для демонстрации эквивалентности этих двух представлений сети Петри — структуры сети Петри и графа сети Петри — покажем, каким образом можно преобразовать один в другой. Предположим, нам дана структура сети Петри Тогда граф сети Петри можно определить следующим образом.

Определение 2.4. Определим Определим А как комплект направленных дуг, такой, что для всех

есть граф сети Петри, эквивалентный структуре сети Петри

Обратное преобразование (от графа сети Петри к структуре) осуществляется подобным образом, и поэтому оставим более детальное описание такого преобразования читателю. Однако при

(кликните для просмотра скана)

Рис. 2.6. Граф сети Петри, эквивалентный структуре, показанной на рис. 2.3.

переходе от графа сети Петри к структуре сети Петри возникает одна интересная задача: если множество вершин можно разделить на два подмножества то какое из этих подмножеств должно быть позициями, а какое — переходами? Оба возможных варианта позволяют определить сеть Петри, хотя в получающихся в результате структурах позиции и переходы меняются местами.

Двойственной к сети Петри является сеть Петри которая получается в результате перестановки позиций и переходов. Структура графа сохраняется, просто меняются местами кружки и планки (см. упражнение 6). На рис. 2.7

Рис. 2.7. Сеть, двойственная к сети Петри, показанной на рис. 24.

показана сеть, двойственная к сети Петри на рис. 2.4. Двойственность — обычно полезный прием в теории графов и кажется интересным понятием для сетей Петри. Однако никакой пользы извлечь из понятия двойственной сети Петри в исследовании этих сетей не представляется возможным. Это объясняется в основном трудностью определения сети, двойственной к маркированной сети Петри. Маркированные сети Петри мы обсудим позднее.

Упражнения

(см. скан)