> Побудуємо за ним відповідні редукції процесів:
S1 * = S1 (X *) = S1 = {1010101, 1010111, 1101111, 1101010, 1111111}; 1 (X *) = {,}; 1 (X *) = {,}; 1 * = F1 : 2 * = S2 (Y *) = S2 = {1000, 1001, 1011, 1111}; 2 (Y *) = {,; 2 (Y *) = {,} 2 * = F2:
Ситуації процесу P3 представіми у вигляді пар s3 = (s1, s2)/
1)
) y1 = x2
)
) або
або
Таким чином, АП P3 =
S3 = {1111010101, 1111010111, 1111101111, 1111101010, 1111111111}
F3: 1111010101 -> 1111010111 -> 1111101111 -> 1111101010 -> 1111111111
1111010101 -> 1111010111 -> 1111101111 -> 1111101010 -> 11111111113 = {1111010101}
R3 = {1111101010, 1111111111}
Результатом є граф:
В
5. Предметна інтерпретація асинхронного процесу
5.1 Мережа Петрі (для процесу підготовки до вирізання)
Мережею Петрі називається п'ятірка.
- кінцеве непорожнє кількість умов;
- кінцеве непорожнє кількість подій;
- функція інцидентності;
- функція інцидентності;
- початкова розмітка.
В
- бездіяльність плоттера;
- непотрапляння матеріалу;
- установка матеріалу;
- фіксація точки відліку;
В
- перехід до умови помилки;
- перехід до умови встановлення матеріалу;
- перехід до умови фіксації точки відліку;
В В В В В В В В В В В
В
Граф розміток:
В
Властивості мережі Петрі:
1) Місце є обмеженим вся мережа є обмеженою;
) Місце є небезпечним вся мережа є небезпечною;
) Перехід не є потенційно живим вся мережа не є потенційно живий;
) Усі переходи є стійкими вся мережа є стійкою;
Висновок
У даній роботі була створена, а також досліджено метамодель "асинхронний процес" і модель "мережа Петрі" на прикладі процесу роботи периферійного пристрою плоттер.
Незважаючи на те, що "асинхронний процес" є спрощеною моделлю процесу, його побудова для обраного обчислювального процесу дозволяє більш глибоко зрозуміти його функціонування. Побудова мережі Петрі для даної моделі дозволяє досліджувати багато характеристики системи і зрозуміти майбутнє програми ще до її написання. br/>
