span> 2 , s 1 3 , s 1 4 , s 1 5 }. Ситуації структуровані (R - процес має в розпорядженні всі ресурси, P - процес очікує вибору планувальником завдань, N - колективна комірка пам'яті, доступна як диспетчеру друку, так і принтеру, вона несе керуючу інформацію), крім того, виділена вихідна компонента y span> 1 (N = y 1 ). Ставлення безпосереднього проходження F 1 задано графом.
S 1 КомпонентиФізіческій сенс RPN = y 1 s 1 1 001Созданіе процесу s 1 2 010Готовность до виконання s 1 3 100Виполненіе s 1 < span align = "justify"> 4 101Ожіданіе (стан блокування) s 1 5 001Завершеніе роботи процесу
Уявімо процес P 1 більш наочно (кольором виділена вихідна компонента y 1 , ініціатори та результанти позначені символами i і r відповідно):
В
Процес P П 2
Нехай заданий АП з В§ 1. Раніше ми отримали його об'єднання з репозицією. br/>В
Згідно з визначенням наведеного асинхронного процесу з відношення F 'приберемо пари, що задають переходи до ініціаторів процесу. Отримаємо процес P П 2 = 2 , F 2 , I < span align = "justify"> 2 , R 2 >. Безліч ситуацій S