ри;
Ситуація (готовність принтера) є ініціатором до всіх подальшим ситуацій. Ця ситуація є свого роду стартом до всього процесу. p> Ситуація є ініціатором до ситуацій, що описує безпосередньо фінальну роботу плоттера, тобто різання контуру, а також можливу помилку. Дві останні і є Результант (і). p> R = {,} - результанти;
Класи еквівалентності:
Початковий клас -;
Прикінцеві класи -,;
Траєкторії -
Перша траєкторія описує повну підготовленість плоттера до різання, виведення даних у пам'ять плоттера, початок різання (прогонку матеріалу) і помилку при початку різання, тобто виліт матеріалу з плоттера.
Друга траєкторія описує виведення даних у пам'ять плоттера, початок різання і її нормальне безпомилкове продовження.
Інші дві траєкторії описують безпосередньо початок процесу різання, з нормальним продовженням і з помилкою.
Висновки:
Після побудови моделі АП для даного процесу можна стверджувати, що:
тому з ініціаторів всі траєкторії ведуть в результанти, і кожна з траєкторій, що призводить до Результант, починається в будь-якому ініціатора, даний АП є ефективним;
внаслідок того, що, траєкторії з ініціаторів ведуть в різні заключні класи, (існує невизначеність), даний АП не є керованим;
в результаті того, що, з ініціатора можна потрапити в інший ініціатор (а це суперечить умові:), даний АП не є простим.
4. Операції над процесами
.1 Репозиція
РЕПОЗИЦІЯ асинхронного процесу називається ефективний асинхронний процес, такий що Ситуації репозиції може містити тільки ті ситуації з вихідного процесу, які є ініціаторами або Результант деякої додаткової ситуації з безлічі. Ставлення задає траєкторії переходу від елементів з до елементів з R ', можливо через додаткові ситуації з. p> Іншими словами репозиція - це не що інше як відновлення процесу, його повторення.
У випадку з плоттером, репозицією буде прорізання/прорісовиваніе нового контуру на одному і тому ж матеріалі.
Ініціатором буде ситуація, а Результант. Введення додаткових ситуацій не потрібно. br/>В В
,
Граф репозиції даного процесу:
В
Висновок:
Ставлення задає траєкторії переходів від елементів з безлічі до елементів множини. Так як, і, то репозиція є частковою. br/>
4.2 Редукція
Нехай дано асинхронний процес P = (S, F, I, R), ситуації якого структуровані за другим способом, тобто по вхідних і вихідних компонентів: s = (x, y, z). Утворюємо p-блочне розбиття множини ситуацій S процесу P, в ситуаціях кожного блоку якого вхідна компонента x j приймає фіксоване значення (1 < span align = "justify"> ВЈ j ВЈ p). Вибираємо r (r
ГЊ X (X - безліч вхідних компонент) . Ситуації, що входять в блоки розбиття, які відповідають обраним значенням вхідний компоненти, складуть підмножина S *. Для кожного ініціатора s i ГЋ I побудуємо безліч ситуацій S (s i ), що зустрічаються на траєкторіях, що ведуть з s < span align = "justify"> i . Утворюємо безліч S (X *) як об'єднання тих множин S (s i ), для яких справедливо S (s i ) ГЌ S * . На базі цієї множини S (X *) виділяємо ініціатори, результанти і відносини:
F (X *) = F Г‡ (S (X *) ' S (X *)); (X *) = I Г‡ S (X *); (X *) = R Г‡ S (X *).
Назвемо побудований таким чином процес P (X *) = (S (X *), F (X *), I (X *), R (X *)) редукцією асинхронного процесу P = (S, F, I, R) по обраному безлічі X * значень вхідної компоненти.
Редукція дозволяє виділити окремі гілки процесу, що характерно при розгляді окремих ситуацій. Таким чином, редукція може бути корисна для вивчення окремих елементів процесу. p align="justify"> Постараємося виділити гілку процесу, що хара...
