Зміст
1. Постановка завдання
2. Опис процесу
3. Побудова метамоделі "асинхронний процес"
4. Операції над процесами
4.1 Репозиція
4.2 Редукція
4.3 Композиція процесів
5. Предметна інтерпретація асинхронного процесу
5.1 Мережа Петрі (для процесу підготовки до вирізання)
Висновок
1. Постановка завдання
1. Вибрати обчислювальний процес і на його прикладі:
- побудувати метамодель "асинхронний процес" і визначити властивості вихідного процесу на основі аналізу метамоделі;
- виконати операції над процесом: репозиція, редукція, композиція, і оцінити отримані результати з практичної точки зору;
- побудувати предметну інтерпретацію метамоделі на основі мережі Петрі і зробити висновок про динамічні характеристики вихідного процесу.
2. Оформити звіт.
2. Опис процесу
Пропонується розглянути процеси і ситуації для плоттера. Існують плотери двох видів: друкують і ріжучі. У даній роботі буде розглядатися ріжучий плоттер. Ріжучий плоттер - це пристрій, вирізане/промальовує векторний контур на спеціальному матеріалі. Найбільш важливі частини пристрою - це рухливий затискач для ножа/олівця, що рухається тільки горизонтально; ніж/олівець, що рухається тільки вертикально; діодні датчики, які фіксують наявність матеріалу у пристрої; обертові валики/затискачі, що дозволяють закріплювати матеріал, а також передвигающие його в одному напрямку .
3. Побудова метамоделі "асинхронний процес"
асинхронним процесом називається процес, де S - Безліч ситуацій, можливих у процесі, F - Ставлення безпосереднього проходження ситуацій, визначене на множині цих ситуацій, I - Безліч ініціаторів - безліч ситуацій з S, для яких має місце:, R - безліч Результант - таких ситуацій з S, що. Під ситуацією розуміється поєднання умов і обставин, що створюють певну обстановку або положення. Ініціатори - ситуації, які є підмножинами безлічі ситуацій, які активізують процес. Особливістю ініціаторів є те що вони не можуть бути тільки наслідком деякогопідмножини ситуацій, вони обов'язково повинні бути причиною. Результанти - підмножина безлічі ситуацій, що складається з фінальних ситуацій. Особливістю Результант є те що вони не можуть бути тільки причиною деякого підмножини ситуацій, вони обов'язково повинні бути наслідком якоїсь причини. p> Плотер.
1. A - мікроконтролер
+ - запущений
не діє
. Z - Рухомий затискач ножа
+ - рухається
не діє
. K - ніж/карандаж
+ - опущений
піднято
. V - система рухомих зубчастих валиків
+ - рухаються
не діють
. D - діодні датчики
+ - активні
не активні
. M - пам'ять
+ - виділена
порожня
. L - матеріал для різання/нанесення контуру
+ - мається
відсутня
Всі можливі ситуації:
1) Плотер повністю готовий до виконання завдання (знаходиться в режимі очікування):
A + Z - K + V - D + M - L +
2) У буфер пам'яті надійшла інформація:
A + Z - K + V - D + M + L +
) Починається прогін матеріалу для знаходження початкової точки прорізання:
A + Z + K - V + D + M + L +
) Виліт матеріалу з плоттера (error):
A + Z + K - V + D - M + L-
) Вирізання/промальовування контуру на матеріалі:
A + Z + K + V + D + M + L +
(1,0,1,0,1,0,1)
(1,0,1,0,1,1,1)
(1,1,0,1,1,1,1)
(1,1,0,1,0,1,0)
(1,1,1,1,1,1,1)
Граф, що відображає процес різання/промальовування контуру:
В
I = {,}-ініціато...
