уку одного аркуша. Припустимо, що на початку фізичного процесу є необхідна кількість чорнила (I = 1):
SКомпонентиФізіческій смислMIERHSs 1 110000На принтер подаються дані для друку, які записуються в пам'ять принтера s 2 111000Ідет перевірка на наявність чорнила s 3 001001Виводітся повідомлення про відсутність чорнила s 4 111100Проверка на наявність паперу s 5 111001Виводітся відповідне повідомлення про відсутність паперу s 6 110001Ожіданіе установки паперу в лоток s 7 110110Печать листа span> s 8 010000Напечатанний лист виходить з принтера і пам'ять принтера звільняється < span align = "justify"> s 9 010100Прінудітельное видалення завдань диспетчером друку
Таким чином, отримали безліч ситуацій S = {s 1 , s 2 , s 3 , s 4 , s 5 , s 6 , s 7 , s 8 , s 9 }.
Ставлення безпосереднього проходження
Ставлення безпосереднього проходження F задається графом:
В
Безліч ініціаторів та Результант
Нехай безліч ініціаторів I = {s 1 span> }.
Нехай безліч Результант R = {s 3 span> , s 8 , s 9