3.3 Описание модели "асинхронный процесс"

Асинхронным процессом называется процесс , где

S - Множество ситуаций, возможных в процессе,

F - Отношение непосредственного следования ситуаций, определенное на множестве этих ситуаций,

I - Множество инициаторов - множество ситуаций из S, для которых имеет место: ,

R - множество результантов - таких ситуаций из S, что .

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

Результанты - подмножество множества ситуаций, состоящее из финальных ситуаций.

Описание данного процесса:

P = (S, F, I, R),

где F = { (S₁, S₂), (S₂, S₃), (S₂, S₄), (S₃, S₁₁), (S₄, S₅), (S₅, S₆), (S₆, S₇), (S₇, S₈), (S₈, S₉), (S₉, S₁₀) } - отношение непосредственного следования ситуаций,

множество ситуаций:

S = {S₁, S₂, S₃, S₄, S₅, S₆, S₇, S₈, S₉, S₁₀},

множество инициаторов:

I = {S₁, S₂, S₄},

множество результантов:

R = {S₃, S_7,S₁₀}.

Обоснование выбора данных ситуаций в качестве результантов и инициаторов приводится ниже.