"> В® K 2 В® K 7 , K 1 В® K < span align = "justify"> 2 В® K 4 В® K 7 , K 1 В® K 2 В® K 4 В® K 5 В® K 7 . Таким чином, маємо початковий клас еквівалентності K 1 і заключні класи еквівалентності K 3 , K 6 , K 7 .
Асинхронний процес за визначенням називається керованим , якщо
. він є ефективним,
2. кожна допустима послідовність класів веде з початкового в один і той же заключний клас.
Розглянутий асинхронний процес не є керованим, тому що не виконується умова 1.
Висновки:
Таким чином, вдалося представити фізичний процес друку одного аркуша на струменевому принтері у вигляді метамоделі "асинхронний процес", тобто була виділена четвірка .
Також були проаналізовані властивості процесу. Розглянутий асинхронний процес не є ні ефективним, ні простим, ні керованим, містить 7 класів еквівалентності, з яких один початковий, а три заключних. br/>
Операції над процесами
Репозиція
Визначення репозиції
РЕПОЗИЦІЯ асинхронного процесу P = називається ефективний асинхронний процес P '= такий, що S'
