50. Динамика поведения сетевой объектной модели. Основные соглашения выполнения сети.

Динамика поведения сетевой объектной модели заключается в том, что происходит смена маркировок.

Формальное определение сети Петри

PN = <P, T, I, O>

P– конечное множество вершин типа ‘позиция’

T– конечное множество вершин типа ‘переход’

I : T → P^∞

O : T → P^∞

I(tj) P^∞

#(pi,I(tj)) – кратность вхождения во входную функцию.

P^∞– пространство комплектов над доменомP.

I(tj) – комплект соответствующего перехода.

Переход tjв активное состояние может быть осуществлен только если:

pi € I(tj) [ μ(pi) ≥ #(pi, I(tj)) ]

где μ(pi) – количество фишек в вершинеpi.

S=UtjS T

S– множество-селектор: множество активных вершин типа ‘переход’.

Переход ассоциируется с некоторым событием или с неким действием (тогда событие имеет конечную продолжительность во времени и может быть представлено как tнач(переход) ->O(состояние) ->tкон(переход)).

Если τ_соб.→ 0, то событие является действием.

Позиция ассоциируется с неким состоянием.