tify"> 1 , R 1 (Y * 1 ) = R 1 .
2.2 Редукція P 2 (X * 2 ) процесу P П 2 : X * 2 = X 2 Гћ P 2 (X * 2 ) = P П 2 Гћ S 2 (X * 2 ) = S 2 , F 2 (X * 2 ) = F 2 , I 2 (X * 2 ) = I 2 , R 2 (X * 2 ) = R 2 .
3. Визначаємо множини Y ** 1 і X ** 2 .
3.1 Y ** 1 = {0, 1 } = Y * 1 .
3.2 X ** 2 = {0, 1 } = X * 2 .
4. Будуємо процес P 3 згідно обмеженням композиції.
.1 Для цього побудуємо таблицю:
S 1 S 2 s