Анализ сетей Петри на основе матричных уравнений

Матричный подход основывается на представлении сети двумя матрицами Д^- и Д⁺, представляющими входную и выходную функции сети. Каждая матрица имеет m строк (по одной на переход) и n столбцов (по одному на позицию). Определим матрицы Д^-(j,i)=K(P_i,I(t_j)) и Д⁺(j,i)=K(P_i,O(t_j)). Д^- описывает входы в переходы, Д⁺ - выходы из переходов, K – кратность позиции по входам и выходам.

Введём m - вектор e(j), содержащий нули везде, за исключением j-й компоненты. Переход t_j представляется m - вектором e(j).

Тогда переход t_j в маркировке М разрешён, если М≥e(j)Д^-, а результат запуска перехода t_j в маркировке М обозначим функцией δ(M,t_j) определяющей новую маркировку М’:

δ(M,t_j)=M - e(j) Д^- + e(j) Д⁺ = M+ e(j)(- Д^- + Д⁺) = M + e(j)Д,

где Д = Д⁺ - Д^- - составная матрица изменений состояний сети.

Тогда для последовательности запусков переходов G={t_j1,t_j2,…,t_jk}имеем:

δ(M,G) =δ(M, t_j1, t_j2,…, t_jk) =

= M + e(j₁)Д + e(j₂)Д + … + e(j_k)Д =

= M +[ e(j₁) + e(j₂) + … + e(j_k)]Д = M + f(G)Д.

Вектор f(G) = e(j₁)+e(j₂) …..+e(j_k) называется вектором запуска последовательности t_j1,t_j2,…,t_jk. i-й элемент вектора f(G), f(G)_i - это число запусков перехода t_j в последовательности t_j1,t_j2,…,t_jk. Вектор запусков, следовательно, является вектором с неотрицательными целыми компонентами.

Рассмотрим задачу сохранения при известном векторе взвешивания меток W. Если M₀ - начальная маркировка, а M’ - произвольная достижимая маркировка, необходимо, чтобы M₀W = M’W. Тогда существует последовательность запусков переходов G, которая переводит сеть из M₀ в M’. Поэтому,

M’ = δ(M₀,G) = M₀ + f(G)Д.

Следовательно, M₀W = M’W = (M₀ + f(G) Д) W = M₀W + f(G) ДW. Исходя из условия сохранения, имеем: f(G)ДW = 0.

Поскольку это должно быть верно для всех f(G), имеем ДW = 0.

Таким образом, сеть Петри является сохраняющей тогда и только тогда, когда существует такой положительный вектор W, что ДW = 0. Это обеспечивает простой алгоритм проверки сохранения, а также позволяет получать вектор взвешивания W для сохраняющей сети. Для этого нужно решить систему Д W=0 относительно W.

Матричная теория является инструментом для решения проблемы достижимости. Пусть маркировка M’ достижима из M₀, тогда существует последовательность (возможно пустая) запусков переходов G, которая приводит из M₀ к M’. Это означает, что f(G) является неотрицательным целым решением следующего матричного уравнения для X:

M’ = M₀ + X Д. (*)

Следовательно, если M’ достижима из M₀, тогда уравнение (*) имеет решение в неотрицательных целых. Если уравнение не имеет решения, тогда M’ недостижима из M₀.

Покажем возможности применения уравнения (*) для анализа сети, приведённой на рис. 5.16.

Д^- =

Д⁺=

Д = Д⁺ - Д^- =

Рис. 5.16. Пример сети и построения матрицы Д

В начальной маркировке M₀=(1,0,1,0) переход t₃ разрешён и приводит к маркировке M’, где:

M’=(1,0,1,0)+(0,0,1) =(1,0,1,0)+(0,0, 1,1)=(1,0,0,1)

Последовательность G={t_­­3, t_­­2, t_­­3, t_­­2, t_­­1}представляется вектором запусков f(G)=(1,2,2) и получает маркировку M’:

M’ = (1,0,1,0) + (1,2,2) =(1,0,1,0)+(0,3,-1,0)=(1,3,0,0)

Для определения того, является ли маркировка (1, 8, 0, 1) достижимой из маркировки (1, 0, 1, 0), имеем уравнение:

(1, 8, 0, 1) = (1, 0, 1, 0) + X или

(0,8,-1,1)=X ,

которое имеет решение X=(0, 4, 5). Это соответствует последовательности G= {t₃, t₂, t₃, t₂, t_3, t₂, t₃, t₂, t₃}.

Можно показать, что маркировка (1, 7, 0, 1) недостижима из маркировки (1, 0, 1, 0) поскольку матричное уравнение :

(1,7,0,1)=(1,0,1,0) + X или

(0,7,-1,1)= X ,

не имеет решения.