цій S *.
(Y *) = {100000,110000,000010} = {S1, S2, S4}
(Y *):
(Y *) = {S1} = {100000}
R (Y *) = {S4} = {000010}
Висновок: в даному випадку за допомогою редукції розглядається частина процесу, відповідальна за обробку помилки комутації матриці (помилки з'єднання).
. Композиція
У даному випадку композиція являє собою В«об'єднанняВ» процесу подачі звукового сигналу в разі помилки комутації матриці і процесу відповідального за обробку помилки комутації матриці (помилки з'єднання).
Побудуємо послідовну композицію двох процесів.
Процес P1 - подача звукового сигналу:
P1 =
Компоненти:
1) P5 - йде прийом даних на вихідному порте
2) P6 - вихідний порт передає дані кадру в мережу
3) Flag - True/False (спрацьовування звукового сигналу)
Ситуації:
1) Розпочався прийом даних на вихідному порте s1 = (1 +0 +0)
2) Прийом даних на вихідному порте закінчився і дані передаються в мережу s2 = (1 1 0)
) Виникла помилка комутації звучить сигнал s3 = (0 0 1)
Ставлення безпосереднього проходження ситуацій F1:
Траєкторія: (100, 110, 001)
Безліч ініціаторів I1 = {s1} - процес починається з прийому даних на вихідному порте
Безліч Результант R1 = {s3} - завершення, звучить звуковий сигнал
Вхідні компоненти X1 = {P5, P6} = {10,11,00}
Вихідні компоненти Y1 = {Flag} = {0, 1}
Процес P2 - редукція вихідного процесу P.
Виділимо вхідні компоненти першого процесу і вихідні компоненти другого процесу, мають подібну семантику:
Y * = {P5, P6}
X * = {P5, P6}
Побудуємо за ним відповідні редукції процесів:
S1 * = S1 (Y *) = S1 = {100, 110, 001} * = F1 (Y *) = I1 (Y *) = R1
Другий процес вже є редукцією
S (Y *) = {100000,110000,000010} = {S1, S2, S4} (Y *): (Y *) = {S1} = {100000} (Y *) = {S4} = {000010}
Ситуації процесу P3 представіми у вигляді пар s3 = (s1, s2)/
