="justify"> 1 ГЋ R 1 (Y * 1 );
4) якщо, то або, або, або.
Назвемо послідовної композицією асинхронних процесів P 1 і P П 2 асинхронний процес P 3 , утворений ототожненням значень вхідний і вихідний компонент ситуацій редукцірованних процесів P 1 (Y * 1 ) і P < span align = "justify"> П 2 (X * 2 ) відповідно при виконанні перерахованих вище обмежень 1) - 4).
Процес P 1
Розглянемо життєвий цикл будь-якого процесу (потоку) ОС. Він представлений у вигляді графа станів процесу (потоку):
В
Диспетчер друку струменевого принтера, виконуючись в ОС, може складатися з декількох потоків, кожен з яких відповідає за виконання якоїсь елементарної завдання. Припустимо, що один з потоків відповідає за роздрукування одного документа на струменевому принтері. p align="justify"> Уявімо життєвий цикл такого потоку у вигляді асинхронного процесу P 1 = 1 , F 1 , I 1 , R 1 > ;. Безліч ситуацій S 1 = {s 1 1 , s 1 2 , s 1 3 , s 1 4 , s 1 5 }. Безліч ініціаторів I 1 = {s 1 1 }. Безліч Результант R 1 = {s 1
