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

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

Определение 10. Позиция p_iÎP сети Петри С= (Р, Т, I, O) с начальной маркировкой m является безопасной, если m'£1 для любой m' Î R(C, m). Сеть Петри безопасна, если безопасна каждая её позиция.

Безопасность – очень важное свойство для устройств аппаратного обеспечения. Если позиция безопасна, то число фишек в ней равно 0 или 1. Следовательно, позицию можно реализовать одним триггером.

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

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

Если p_i Î I(t_j) и p_i Ï O(t_j), тогда добавить p'_i к O(t_j).

Если p_i Î O(t_j) и p_i Ï I(t_j), тогда добавить p'_i к I(t_j).

Рис. 7.6 Рис. 7.7

Цель введения этой новой позиции p'_i – представить условие «p_i пуста». Следовательно, p_i и p'_i дополнительны; p_i имеет фишку, только если p'_i не имеет фишки и наоборот. Любой переход, удаляющий фишку из p_i, должен помещать фишку в p'_i, а всякий переход, удаляющий фишку из p_i, должен помещать фишку в p'_i. Начальная маркировка также должна быть модифицирована для обеспечения того, чтобы точно одна фишка была либо в p_i, либо в p'_i. (Мы допускаем, что начальная маркировка безопасна.) Заметим, что такая принудительная безопасность возможна только для позиций, которые в начальной маркировке являются безопасными и входная и выходная кратность которых равна 0 или 1 для всех переходов. Позиция, имеющая для некоторого перехода выходную кратность 2, будет получать при его запуске две фишки и, следовательно, не может быть безопасной. Простая сеть Петри на рис. 7.6 преобразована в безопасную, как показано на рис. 7.7

Дата добавления: 2014-12-16