lign = "justify ">) = {s 1 2 , s 1 3 , s 1 4 , s 1 5 }, 2 (X * 2 ) = {s 2 1 },
Виберемо з S 3 всі ситуації s 3 = (s 1 , s 2 ) такі, що s 2 = s 2 1 : (s 1 3 , s 2 1 ). Очевидно, що s 1 = s 1 3 ГЋ R < span align = "justify"> 1 (Y * 1 )
. Визначаємо ініціатори процесу P 3 : I 3 ГЌ (I 1 (Y * 1 ) ' R 2 (X * 2 )) Г‡ S 3
I 1 (Y * 1 ) = {s 1 1 }, R 2 (X * 2 ) = {s 1 3
