ign="justify"> стійким , якщо він може спрацювати, і ніякий інший перехід не може, спрацювавши, позбавити його цієї можливості. Мережа називається стійкої , якщо всі її переходи стійкі. Для нашої мережі $ переходи t 24 і t 23 , які не є стійкими, зокрема при розмітці M 2 . Таким чином, мережа не є стійкою.
Висновки:
Ми здійснили інтерпретацію вихідного асинхронного процесу у вигляді мережі Петрі, побудували граф розміток і дерево досяжності для неї, а також провели аналіз властивостей мережі Петрі.
Властивостями позицій мережі Петрі є обмеженість, безпека і консервативність. Розглянута мережа Петрі є обмеженою , тому що кожна її позиція є обмеженою, і безпечної , тому що кожна її позиція є безпечною, але мережа НЕ є консервативної , тому що при переході від однієї розмітки до іншої число фішок для кожної розмітки не однаково.
Властивостями переходів є жвавість і стійкість. Дана мережа Петрі НЕ є живої , так як існують переходи, які не є живими, а також вона НЕ є стійкої , тому що існують переходи, які не є стійкими.
Висновок
Метою цієї роботи є отримання досвіду з побудови метамоделі "асинхронний процес" та її модельної інтерпретації в вид е "мережі Петрі", а також з дослідження їх властивостей.
На основі реального фізичного процесу - друк аркуша на струменевому принтері - була побудована метамодель "асинхронний процес". Був проведений аналіз властивостей процесу. p align="justify"> Над моделлю були проведені основні операції (репозиції, редукція, композиція). Результату кожної операції був поставлений у відповідність конкретний фізичний процес. p align="justify"> Була проведена модельна і предметна інтерпретація конкретного асинхронного процесу за допомогою мережі Петрі. Для неї побудовані граф розміток і дерево досяжності, а також проведено аналіз її властивостей. p align="justify"> Всі дії виконувалися згідно з визначеннями теорії асинхронних процесів і мереж Петрі. Там, де це було необхідно, наведені докази. p align="center"> Лі...