Исходя из практических задач моделирования, можно установить ряд свойств сетей Петри,характеризующих поведение моделируемых систем.
Свойство ограниченности.Позиция рiв сети Р N = {Θ, Р, Т, F, Мо} называется ограниченной, если для любой Достижимой в сети маркировки М существует такое k, что μi ≤ k. Сеть PN называется ограниченной, если все ее позиции ограничены. Сеть, показанная на рисунке 2.1 не ограничена, т.к. возможен неограниченный рост μ2. Для обозначения неогравичешюй маркировки используется специальный символ ω. Так, на дереве маркировок (рис. 2.2) можно выделить маркировку М= [1,ω,0].
запусков переходов, R(PN, М) для
Рис. 2.2
Свойство безопасности.Сеть PN называется безопасной, если при любой достижимой маркировке μi ≤ 1 для всех i = 1,...,n. Таким образом, в безопасной сети вектор маркировок состоит только из нулей и единиц (является двоичным словом).
Свойство консервативности.Сеть называется консервативной, если сумма фишек во всех позициях остается постоянной при работе сети
n
∑ μi(θ)=const,θ = 0,1,…
i=1
Свойство живости.Рассмотрим теперь свойства переходов.Переход tj в сети PN={Θ,P,T,F,M0} называется потенциально живым, если существует достижимая из Мо маркировка М', при которой tjможет сработать. Если tjявляется потенциально живым при любой достижимой в PN маркировке, то он называется живым. Переход tj, не являющийся потенциально живым при начальной маркировке М0, называется мертвымпри этой маркировке. Маркировка Мов этом случае называется tj - тупиковой. Если маркировка является tj - тупиковой для всех j= l,.,.,m, то она называется тупиковой. При тупиковой маркировке не может сработать ни один переход. На дереве маркировок тупиковая маркировка является листом.
Переход называется устойчивым, если никакой другой переход не может лишить его возможности сработать при наличии для этого необходимых условий.
Последовательностьмаркировок М0,М1,...,М р , в которой М k+1=δ{Мк), k = 0,1,...,р образует цикл, если M0 = Mp . Каждому цисклу соответствует последовательность слов свободного языка сети Петри.