4.2 Редукция асинхронного процесса «Звукозапись»

Инициаторы исходного процесса P=<S, F, I, R>:

I={S1, S2, S5, S6, S7, S8}={10000, 11000, 10010, 01000, 01100, 00110}.

Результанты исходного процесса P=<S, F, I, R>:

R={S9}={00011}.

Ситуации исходного процесса P=<S, F, I, R>:

S={S1, S2, S3, S4, S5, S6, S7, S8, S9}={10000, 11000, 11100, 10110, 10010, 01000, 01100, 00110, 00011}.

Множество входных компонент:

Делаем p-блочное разбиение множества S, где число входных компонент p=4:

X={10, 11, 01, 00}.

Множество входных компонент для редукции:

Выбираем число r < p - количество входных компонент для редукции (r = 4):

X*={00,01}.

Ситуации, попадающие под редукцию по входной компоненте:

Входная компонента выделена курсивом.

S*={ S6, S7, S8, S9}={01000, 01100, 00110, 00011}.

Возможные траектории:

1. S6 S7 S8S9;// оцифровка звука при пустой очереди устройства DSP с ожиданием сигнала в S7 и S8 ситуациях, окончание процесса звукозаписи

2. S7 S8S9;//содержится в первой

3. S8S9;// содержится в первой

Ситуации редукции:

S(X*)=S **={ S6, S7, S8, S9}={01000, 01100, 00110, 00011}.

Инициаторы редукции:

I(X*)={S6, S7, S8}.

Результанты редукции:

R (X*)={S9}.

Отношение непосредственного следования редукции процесса:

F(X*): представлено графом (рис. 3)

(рис. 3)

Выводы:

Процесс редукции позволяет выделить интересующую нас часть процесса, в данном случае выделена траектория 2 (см. §3) «оцифровка звука при пустой очереди устройства DSP с ожиданием сигнала в S7 и S8 ситуациях, окончание процесса звукозаписи». Полученный процесс является эффективным.