56. Обобщение функции следующего состояния. Понятие достижимости.

Изменение в состоянии, вызванное запуском перехода, определяется функцией изменения , которая называетсяфункцией следующего состояния.

Функция определена тогда и только тогда когдадля всех. Еслиопределена, тодля всех.

Маркировка называетсянепосредственно достижимойизесли существует переход, такой, что.

Рассмотрим активный переход t_j  S(μ’), тогда μ’’ = δ(μ’, t_j) и μ’’’ = δ(μ’’, t_k) = δ( δ(μ’, t_j), t_k ) = δ(μ’, t_j, t_k) = δ(μ’, σ), где σ – некоторая последовательность сработавших переходов; t_j, t_k  T; σ  T*.

δ(μ’, t_j, t_k)– не функция следующего состояния, афункция, реализующая отношение достижимости.

.

Тогда говорят, что, маркировка достижима из маркировки :.