Модель пространства состояний системы Система есть пара, где: 1) σ = {S 1, S 2,..., S n }; 2) π = {P 1, Р 2, …, P k }. Процесс P j : σ {σ} Область значений P j (S) Если, то обозначается: Запись 1) S l = S w ; для некоторого j; для некоторого j и S k, и

P j заблокирован в S l, если ¬ S k : P j в тупике в S l, если S k : Основные понятия P j блокирован в S k. Пример Система : 1) σ = {S1, S2, S3, S4, S5}; 2) π = {P1, P2}, где P1(S1) = {S2, S3, S4}; P2(S1) = {S2}; P1(S2)= {S5}; P2(S3) = {S5}; P1(S4) = {S5}; P2(S4) = {S1}; P1(S5) = {S2}.

P1P1 P1P1 P1P1 P2P2 P1P1 P2P2 P1P1 P2P2 P1P1 S2S2 S4S4 S1S1 S3S3 S5S5 Граф системы : Примеры возможных последовательностей изменений системы: или

S i безопасное, если S k : S k не тупиковое P2P2 P1P1 P2P2 S5S5 P2P2 S3S3 S4S4 P1P1 S2S2 P2P2 S1S1 P1P1 S6S6 P2P2 S7S7 Основные понятия Рисунок - Система с безопасными, опасными и тупиковым состояниями