що збігається з покриває деревом мережі), що будь-яка умова мережі безпечно (виконується M (p) 1);
. Дана мережа Петрі не жива, так як не всі її переходи живі. Доведемо це: перехід t3 не спрацьовує при будь розмітці. Зроблено це для того, щоб в мережі не було ізольованих позицій (для RAM іV). RAM іV в цьому процесі перебувають у пасивному стані;
. Дана мережа Петрі має властивість стійкості: всі переходи спрацьовують, перехід t1 може спрацювати при розмітці М0 (t2 при М0 не може спрацювати), спрацьовування переходу t1 не позбавляє перехід t2 можливості спрацювати (t2 спрацьовує при М1, досяжною з М0) .
Використовуючи поняття моделі В«мережа ПетріВ», ми описали роботу і складові моделі В«асинхронний процесВ». Аналіз побудованої мережі показав, що мережа є обмеженою, безпечної, не живий і стійкою. p align="justify"> В§ 6. Висновок
Метою цієї роботи є отримання досвіду з побудови метамоделі В«асинхронний процесВ» та її модельної інтерпретації у вигляді В«мережі ПетріВ», а також з дослідження їх властивостей.
На основі реального фізичного процесу - оцифровки звуку на комп'ютері (звукозапису) - була побудована метамодель асинхронний процес В«ЗвукозаписВ» P, над нею були проведені операції репозиції, редукції і композиції процесів P і допоміжного процесу P3 В«Підготовка до звукозапису В». Дії щодо складання метамоделі супроводжено семантичними поясненнями. Проведено аналіз властивостей даного асинхронного процесу. p align="justify"> Важливою частиною роботи є побудова мережі Петрі з даного асинхронному процесу на основі структури і логіки поведінки процесу. За допомогою цього інструменту вивчені динаміка і принципи функціонування компонентів мережі, а отже і компонентів процесу. br/>
