Дерево досяжності мереж Петрі - Комп'ютерне моделювання

Властивості стохастичних Мереж Петрі.

-Безпека:

Позиція мережі Петрі називається безпечною, якщо маркування мережі

M(pi) <= 1, тобто m (pi) є {0,1}. Мережа Петрі називається безпечною, якщо всі її позиції безпечні.

-Обмеженість:

Позиція мережі Петрі pi називається N-обмеженою, якщо m (pi) ? N будь-якого маркування, N> 1. Мережа Петрі називається N-обмеженою, якщо всі позиції мережі N-обмежені.

-Абсолютна (строга) збереженість:

Мережа Петрі з початковою маркуванням M0 називається суворо зберігальною, якщо відповідній M' мережі справедливо:

-Збереженість по відношенню до вектора зважування:

Мережа Петрі називається зберігається по відношенню до деякого вектору зважування W = [w1, w2, .., wn], заданому на безлічі позицій P мережі, де

Wi = 1,2, .., якщо відповідно M' мережі справедливо:

Таким чином, wi - ваговий коефіцієнт фішки в i-й позиції.

-Активність / пасивність фрагмента мережі або переходу

У мережах Петрі з M0 може виявитися така ситуація, в якій перехід tj буде недозволеним відповідно послідовності запусків. У цьому випадку, перехід tj називається пасивним, а СП - пасивною. Якщо немає такої послідовності G <tj, ts>, яка може привести до тупикового стану, то така СП - активна.

    -Досяжність того чи іншого маркування мережі -Покривання того чи іншого маркування мережі

Похожие статьи




Дерево досяжності мереж Петрі - Комп'ютерне моделювання

Предыдущая | Следующая