lign="justify"> ГЌ I Г€ R Г€ S Д , I ' ГЌ R, R' ГЌ I.
Виконання операції репозиції
Побудуємо репозицію P 'процесу P. Нехай безліч ініціаторів репозиції I '= {s 3 , s 8 < span align = "justify">, s 9 }, а безліч Результант R '= {s 1 }. Введемо додаткові ситуації, складові безліч S Д = {s 10 , s 11 }.
S Д КомпонентиФізіческій сенс MIERHSs < span align = "justify"> 10 011001Ожіданіе надходження даних для друку чергового листа s 11 100001Ожіданіе установки картриджа
Тоді безліч ситуацій репозиції S '= {s 1 , s 3 , s 8 , s 9 , s 10 , s 11 }. Задамо відношення безпосереднього проходження F 'ситуацій репозиції: s 3 F' s 11 , s 11 F 's 1 , s 8 F 's 10 , s 9 F 's 10 , s 10 F 's 1 . У побудованому асинхронному процесі припустимі траєкторії: s 3 В® s
