ign="justify"> (X *) = S ** = {S6, S7, S8, S9} = {01000, 01100, 00110, 00011}.
Ініціатори редукції:
(X *) = {S6, S7, S8}.
Результант редукції:
(X *) = {S9}.
Ставлення безпосереднього проходження редукції процесу:
F (X *): представлено графом (рис. 3)
В
(рис. 3)
Висновки:
Процес редукції дозволяє виділити цікаву для нас частина процесу, в даному випадку виділена траєкторія 2 (див. В§ 3) В«оцифровування звуку при порожній черзі пристрої DSP з очікуванням сигналу в S7 і S8 ситуаціях, закінчення процесу звукозаписуВ» . Отриманий процес є ефективним. br/>
.3 Композиція процесів
.3.1 Асинхронний процес В«Підготовка до звукозаписуВ»
1 = .
звукозапис сигнал оцифровка мікрофон
Компоненти процесу:
1. C - команда на запис (завдання): "+В» - є, В«-В» - ні;
2. D - вільне місце на HDD: В«+В» - є, В«-В» - ні;
3. SB - звукова карта: В«+В» - є, В«-В» - ні;
4. M - мікрофон: В«+В» - є, В«-В» - ні;
5. DSP - канал запису звукової карти: В«+В» - налаштований на запис, В«-В» - очікує.
6. V - помилка підготовки (сигнал від схеми вибірки-зберігання): В«+В» - підготовка перервалася, В«-В» - підготовка працює коректно.
Ситуації процесу:
Таблиця № 3
Ініціатори процеси:
= {S11, S13, S15, S17}.
В· S11 - є команда на звукозапис;
В· S13 - є команда на звукозапис і є простір на диску;
В· S15 - є команда на звукозапис, є простір на диску і працює звукова карта;
В· S17 - є команда на звукозапис, є простір на диску, працює звукова карта і працює (знайдене) мікрофон;
Результант процесу:
1 = {S12, S14, S16, S18}.
В· S12 - немає місця на диску, завершення процесу (запис неможлива);
В· S14 - немає звукової карти, завершення процесу (запис неможлива);
В· S16 - немає мікрофона, завершення процесу (запис неможлива);
В· S18 - є команда на звукозапис, є простір на диску, працює звукова карта і працює (знайдене) мікрофон, в каналі запису звукової карти команда на запис, завершення процесу (підготовка до запису успішно завершена).
Ставлення безпосереднього проходження процесу:
F1: представлено графом (рис. 4)
В
(рис. 4)
.3.2 Редукція асинхронного процесу В«Підготовка до звукозаписуВ»
Ситуації початкового процесу P1 = :
= {S11, S12, S13, S14, S15, S16, S17, S18} = {100000, 100001, 110000, 110001, 111000, 111001, 111100, 111110}.
Безліч вихідних компонент:
= {00, 01, 10}.
Безліч вихідних компонент для редукції:
* = Y = {00,10}.
Ситуації, що потрапляють під редукцію по вихідний компоненті:
* = {S11, S13, S15, S17, S18}.
Можливі траєкторії:
1.S11 S13 S15 S17 S18 ;//успішна підготовка до звукозапису (від отримання команди-завдання до повідомлення диспетчеру В«підготовка до запису успішно завершенаВ»)
2.S13 S15 S17 S18 ;//міститься в першій
3.S15 S17 S18 ;//міститься в першій
4.S17 S18 ;//міститься в першій
Ситуації редукції:
(Y *) = S1 * = {S11, S13, S15, S17, S18}.
Ініціатори редукції:
(Y *) = {S11, S13, S15, S17}.
Результант редукції:
1 (Y *) = {S18}.
Ставлення безпосереднього проходження редукції процесу:
F1 (Y *): представлено графом (рис. 5)
В
(рис. 5)
4.3....
