ляется в виде I
C (C 0 , U C i , M 0 , ) . i 1
I
Позиция pink P сети С = (С0, C i , М0, ) является s i 1
ограниченной (s = 1, 2, …), если Mk = (Mk(pink)) M(С): Mk(pink) s, где M(С) – множество всех достижимых от М0 маркировок Mk. При s = 1 позиция сети называется безопасной. В случае, когда все позиции безопасные, сеть С безопасна. Сеть С называется ограниченной, если все ее позиции ограниченные. Для материальных потоков, циркулирующих в ДС, важным свойством является закон сохранения. Сохраняющей называется сеть Петри, для которой по отношению к некоторому заданному вектору весов (а1, а2, , …, а|P|) (вес – количество дуг связывающих переход и позицию), где аi N, N – натуральное число, i = 1, P , выполняется условие M M (c ) i a i M k 1 (pi ) = i a i M k (p i ) . Если (а1, а2, , k
…, а|P|) = (1, 1, …, 1), то сеть является строго сохраняющей, и в ней выполняется условие t j T : O( t j ) I( t j ) . Важным моментом при эксплуатации имитационной модели является отсутствие блокировки СП, когда при достигнутой маркировке сети дальнейшее выполнение части сети или всей сети становится невозможным. Избежать подобной ситуации позволяет анализ СП на наличие тупиков. Множество переходов СП (или один какой-то переход), которые в некотором состоянии сети оказываются заблокированными (не могут более выполняться), называются тупиками. Переходы не обладающие этим свойством называются активными. Тупик имеет активность нулевого уровня. Переход tink Т сети Петри C = 189