5.2 Свойства переходов сети Петри

Живость и устойчивость:

сеть не является живой, так как не все её переходы живы. Некоторые переходы в рассматриваемой сети не являются живыми, т.к. они не являются потенциально живыми при любой достижимой в сети N разметке. Переход t сети N называется потенциально живым при разметке М, принадлежащей множеству допустимых разметок, если существует достижимая от М разметка M, при которой переход t может сработать. Поставленное в определении условие выполняется не для каждого перехода. Например, переход t₄ не является потенциально живым при разметке М₇ = (1 0 1 1 0 0 0 0 1 0).

сеть не является устойчивой, так как не все её переходы устойчивы. Например, переход t₂ не является устойчивым, т.к. если переход t₉ сработает, то он лишит возможности сработать переход t₂.