4.3.2 Редукция асинхронного процесса «Подготовка к звукозаписи»

Ситуации исходного процесса P1=<S1, F, I1, R1>:

S1= {S11, S12, S13, S14, S15, S16, S17, S18} ={100000, 100001, 110000, 110001, 111000, 111001, 111100, 111110}.

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

Y={00, 01, 10}.

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

Y*=Y={00,10}.

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

S1*={ S11, S13, S15, S17, S18}.

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

1. S11 S13 S15 S17 S18;//успешная подготовка к звукозаписи (от получения команды-задания до сообщения диспетчеру «подготовка к записи успешно завершена»)

2. S13 S15 S17 S18;//содержится в первой

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

4. S17 S18;// содержится в первой

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

S1(Y*)=S1*={ S11, S13, S15, S17, S18}.

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

I1(Y*)={ S11, S13, S15, S17}.

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

R1(Y*)={ S18}.

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

F1(Y*): представлено графом (рис. 5)

(рис. 5)