того місця виконується M (P) 1) мережа є безпечною (тому всі її місця є безпечними)
3) Переходи T1, T2, T3, T4, T5, T6, T7 є потенційно живими (тобто існує розмітка M = M0, при якій переходи є досяжними), але не є живими (тобто вони не є потенційно живими при будь досяжною в мережі розмітці) мережа не є живою (тому що не всі її переходи є живими)
) Переходи T7 є стійким (тому що для окремо взятої розмітки якщо перехід може спрацювати, то ніякий інший перехід, спрацювавши, не може позбавити його цієї можливості), а T1, T2, T3, T4, T5, T6 НЕ є стійкими мережа не є стійкою (тому що не всі її переходи є стійкими)
Висновок: В якості моделі для побудови мережі Петрі був узятий вихідний процес підготовки запису на дискету. У процесі побудови були визначені місця мережі як окремі компоненти процесу, розмітки, що відображають стан процесу в певний момент часу (тобто ситуації), і переходи, що задають зміну розміток. Потім був побудований граф мережі, граф розміток і повне покриває дерево, що збігається з графом розміток. Було виявлено, що мережа є обмеженою і безпечною, але не є ні живий, ні стійкою. Повне покриває дерево співпало з графом процесу, що свідчить про правильність побудови мережі Петрі. br/>
6. Висновок
Модель - подання до математичних термінах того, що вважається найбільш характерним у досліджуваному об'єкті або системі.
Кожна модель відображає ті чи інші аспекти поведінки системи. Наявність спільних властивостей у таких моделей дозволяє припустити деяку метамодель, яка породжує приватні об'єктні моделі. p align="justify"> Метамодель - модель, застосовувана для дослідження і опису деякого класу моделей. У даному РГЗ в якості метамоделі ми розглянули модель Асинхронний процес .
В якості процесу було взято процес підготовки запису на дискету. Для даного процесу була побудована метамодель Асинхронний процес : були виявлені компоненти процесу, ситуації, що виникають в ході виконання процесу. Серед ситуацій даного процесу були виявлені ініціатори, тобто ситуації, ініціюють процес, і результанти, тобто ситуації, завершальні процес. Також були визначені траєкторії переходів процесу від ініціаторів до Результант. Було виявлено, що даний процес є ефективним, але не є ні простим, ні керованим. Потім був побудований граф процесу. Для даного процесу були зроблені операції: репозиція як засіб відновлення процесу при виникнення повторного запиту на запис (репозиція є частковою і частково наведений процес збігається з вихідним), редукція як виділення подпроцесса функціонування вихідного процесу при наявності заголовка дискети і відсутності захисту, послідовна композиція як об'єднання вихідного процесу і додаткового процесу (форматування дискети) за відсутності заголовка у дискети. В якості моделі для побудови мережі Петрі був узятий вихідний процес підготовки запису на дискету. У процесі побудови були визначені місця мережі як окремі ситуації процесу, розмітки, що відображають стан процесу в певний момент часу, і переходи, що задають зміну розміток. Потім був побудований граф мережі, граф розміток і повне покриває дерево, що збігається з графом розміток. Було виявлено, що мережа є обмеженою і безпечною, але не є ні живий, ні стійкою.
