Лекция 4. Поведенческие свойства сетей Петри.

Пример сети Петри и её графа.

C = (P, T, I, O), P = {p₁, p₂ p₃, p₄, p₅}, T = {t₁, t₂ t₃, t₄}

I(t₁) = {p₁}, O(t₁) = {p₂, p₃, р₅},

I(t₂) = {p₂, p₃, p₅}, O(t₂) = {p₅},

I(t₃) = {p₃}, O(t₃) = {р₄},

I(t₄) = {p₄}, O(t₄) = {p₂, p₃}.

Рис 4.1: Пример сети Петри.

Привести пример какой-нибудь маркировки.

Функция следующего состояния.

Состояние, сети Петри определяется ее маркировкой. Запуск перехода изменяет состояние сети. Пространство состояний сети Петри, обладающей n позициями, есть множество всех маркировок, т. е. Nⁿ. Изменение в состоянии, вызванное запуском перехода, определяется функцией изменения , которую мы назовем функцией следующего состояния: ,

. (4.1)

Достижимость.

Пусть некоторый переход в маркировке  разрешен и, следовательно, может быть запущен. Результат запуска перехода есть новая маркировка '. Говорят, что ' является непосредственно достижимой из маркировки . если существует переход , такой, что . Если ' непосредственно достижима из , a " — из ', говорят, что " достижима из . Можно записать , где σ — последовательность переходов. Определим множество достижимости R(C, ) сети Петри С с маркировкой  как множество всех маркировок, достижимых из . Маркировка ' принадлежит R(C, ), если существует какая-либо последовательность запусков переходов, изменяющих  на '.

Безопасность.

Одно из важнейших свойств сети Петри, которая должна моделировать реальное устройство, — безопасность. Позиция сети Петри является безопасной, если число фишек в ней никогда не превышает 1. Позиция сети Петри C = (P, T, I, O) с начальной маркировкой  является безопасной, если . Сеть Петри безопасна, если безопасны все позиции сети. В первоначальном определении сети Петри были безопасны, поскольку переход не мог быть запущен, если не все из выходных позиций были пусты (а кратные дуги не были разрешены).

Если позиция не является кратной входной или кратной выходной для перехода, ее можно сделать безопасной. К позиции , которую необходимо сделать безопасной, добавляется новая позиция Переходы, в которых используется в качестве входной или выходной, модифицируются следующим образом:

Если и , тогда добавить к

Если и , тогда добавить к .

Цель введения этой новой позиции — представить условие « пуста». Следовательно, и дополнительны; имеет фишку, только если не имеет фишки и наоборот. Любой переход, удаляющий фишку из должен помещать фишку в , а всякий переход, удаляющий фишку из , должен помещать фишку в .

а) б)

Рис 4.2: а) Опасная сеть Петри; б) Эквивалентная ей безопасная сеть Петри.

Безопасность — это частный случай более общего свойства ограниченности. Позиция является k-безопасной или k-ограниченной, если количество фишек в ней не может превышать целое число k. Заметим, что граница по числу фишек, которые могут находиться в позиции, может быть функцией от позиции. Если позиция k-безопасна, то она также и k'-безопасна для всех k' > k. Поскольку число позиций конечно, можно выбрать k, равное максимуму из границ. Сеть Петри называется k-безопасной, если каждая позиция сети k-безопасна. Позиция называется ограниченной, если она k-безопасна для некоторого k, сеть Петри ограниченна, если все ее позиции ограниченны. Ограниченную сеть Петри можно реализовать аппаратно, тогда как сеть Петри с неограниченными позициями в общем случае реализовать аппаратно нельзя.

Сохранение.

Сеть Петри C = (P, T, I, O) с начальной маркировкой  называется строго сохраняющей, если для всех имеет место

. (4.2)

Строгое сохранение — это очень сильное ограничение. Например, из него следует, что число входов в каждый переход должно равняться числу выходов.

Сеть Петри C = (P, T, I, O) с начальной маркировкой  называется сохраняющей по отношению к вектору взвешивания w, w = (w₁, w₂, .., w_n), n = |P|, w_i > 0, если для всех

. (4.3)

Строго сохраняющая сеть Петри является сохраняющей по отношению к вектору взвешивания (1, ..., 1).

Активность.

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

Для заданной маркировки  можно выделить пять уровней активности.

Уровень 0: Переход t_j обладает активностью уровня 0, если он никогда не может быть запущен.

Уровень 1: Переход t_j обладает активностью уровня 1, если он потенциально запустим, т. е. если существует такая , что t_j разрешен в '.

Уровень 2: Переход t_j; обладает активностью уровня 2, если для всякого целого n существует последовательность запусков, в которой t_j присутствует по крайней мере n раз.

Уровень 3: Переход t_j обладает активностью уровня 3, если существует бесконечная последовательность запусков, в которой t_j присутствует неограниченно часто.

Уровень 4: Переход t_j обладает активностью уровня 4, если для всякой существует такая последовательность запусков σ, что t_j разрешен в .

Переход, обладающий активностью уровня 0, называется пассивным. Переход, обладающий активностью уровня 4, называется активным. Сеть Петри обладает активностью уровня i, если каждый ее переход обладает активностью уровня i.

В качестве примера, иллюстрирующего уровни активности, рассмотрим сеть Петри на рис. 4.3. Переход t₀ не может быть запущен никогда; он пассивен. Переход t₁ можно запустить точно один раз; он обладает активностью уровня 1. Переход t₂ может быть запущен произвольное число раз, но это число зависит от числа запусков перехода t₃. Если мы хотим запустить t₂ пять раз, мы запускаем пять раз t₃ затем t₁ и после этого пять раз t₂. Однако, как только запустится t₁ (t₁ должен быть запущен до того, как будет запущен t₂), число возможных запусков t₂ станет фиксированным. Следовательно, t₂ обладает активностью уровня 2, но не уровня 3. С другой стороны, переход t₃ можно запускать бесконечное число раз, и поэтому он обладает активностью уровня 3, но не уровня 4, поскольку, как только запустится t₁, t₃ больше запустить будет нельзя.

Рис 4.3: Пример различной степени активности переходов.

Задачи достижимости и покрываемости

Задача достижимости. Для данной сети Петри С с маркировкой  и маркировки ' определить: ?

Маркировка " покрывает маркировку ', если " ', т.е. . Задача покрываемости. Для данной сети Петри С с начальной маркировкой  и маркировки ' определить, существует ли такая достижимая маркировка , такая что " '.