ктеризує безпосередньо різання контуру плоттером.
В
I = {,}
R = {,}
В
Виділимо вхідну компоненту X = {01,10,11} з другого і третього елементів векторів ситуацій. Ці компоненти вибрані невипадково. Саме по них можна ідентифікувати цікавить нас подпроцесс. p> Виберемо різних значень вхідної компоненти:. X * = {10,11}. У даному випадку відкидається перший елемент вектора X бо він ідентифікує не цікавлять нас ситуації. p> Тоді редукцією P (X *) буде:
S * = {,,};
S (X *) = {,,}; Ситуації, які лежать всередині траєкторій основного процесу і входять в S *.
F (X *): ->; ->; (X *) = {}; R (X *) = {,};
Граф редукції:
В
4.3 Композиція процесів
Розглянемо два асинхронних процесу не обов'язково наведений процес і наведений процес. Ситуації, яких структуровані таким чином:
У виділена вихідна, а в вхідна компоненти. Нехай всі або деякі значення вихідний компоненти ситуації відповідають всім або деяким компонентам ситуації. Позначимо проекції безлічі пар відповідних один одному значень компоненти на безліч і безліч відповідно. За множинам збудував оцей редукції і. Нехай виявляється повністю наведеним, тоді безліч ситуацій наведеного процесу збігаються з виділеними компонентами,. Безліч, за яким здійснюється редукція співпадає повністю з безліччю виділених компонент. Побудуємо, якщо це можливо процес, ситуації якого представіми у вигляді пар:, такий, що:
),:.
) вихідна компонента ситуації дорівнює вхідний компоненті ситуації.
) якщо в компонента, то
) якщо деякі ситуації з:
В
Назвемо послідовної композицією асинхронних процесів іасінхронний процес, утворений ототожненням значень вхідний і вихідний компонент ситуацій скорочених процесів ІПРІ виконанні перерахованих вище обмежень. Сенс першого обмеження полягає в тому, щоб при функціонуванні процесу у складі в його редукції не зустрілися ситуації не належать множині. Сенс другого обмеження полягає в тому, щоб для редукції у складі процесу не може виникнути нова траєкторія. p> Візьмемо розглянутий процес різання/промальовування контуру на плоттері (позначимо його за P1) і обьединить його з процесом до його підготовки (позначимо як P2). Тоді в P1 увійдуть ситуації - (переобозначив їх на -), а в P2 ситуації -. p> Розглянемо докладніше процес P2:
Компоненти:
1. A - мікроконтролер
+ - запущений
не діє
. Z - Рухомий затискач ножа
+ - рухається
не діє
. D - діодні датчики
+ - активні
не активні
. L - матеріал для різання/нанесення контуру
+ - мається
відсутня
Ситуації:
) Плотер включений, пам'ять порожня, матеріалу немає:
A + Z - D - L-
) Матеріал не потрапляє на діодні датчики (error):
A + Z - D - L +
) Плотер включений з приготованим матеріалом:
A + Z - D + L +
4) Плотер фіксує точку відліку для готовності до роботи:
A + Z + D + L +
= (1,0,0,0)
(1,0,0,1)
(1,0,1,1)
(1,1,1,1) = {} R = {,}
плоттер асинхронний процес петрі
Граф:
В
Редукція.
Постараємося виділити гілку процесу, що характеризує безпосередньо фіксування початкової точки відліку на приготованому матеріалі.
В
S = {1000, 1001, 1011, 1111} = {,; = {,}
В
Виділимо вхідну компоненту X = {00,01,11} з другого і третього елементів векторів ситуацій. Ці компоненти вибрані невипадково. Саме по них можна ідентифікувати цікавить нас подпроцесс. p> Виберемо різних значень вхідної компоненти:. X * = {01,11}. У даному випадку відкидається перший елемент вектора X бо він ідентифікує не цікавлять нас ситуації. p> Тоді редукцією P (X *) буде:
S * =; S (X *) =;
Ситуації, які лежать всередині траєкторій основного процесу P2 і входять в S *.
F (X *): ->;
I (X *) = {};
R (X *) = {};
Граф редукції:
В
Виділимо вихідні компоненти процесу P2 і вхідні компоненти процесу P1, мають подібну семантику:
Y = {1} (по першому елементу векторів ситуацій)
X * = {1} (по першому елементу векторів ситуацій)
