цювати при ній. Отже, перехід t1 є стійким. p> Перехід t2 може спрацювати тільки при розмітці {1, 0, 0, 1, 1}. Але при ній може спрацювати і перехід t3, позбавивши таким чином той можливості виконатися (тобто при даній розмітці M). Отже, перехід t2 не є стійким. p> Аналогічні міркування і для переходу t3, який не є стійким.
Перехід t4 може спрацювати тільки при розмітці {1, 1, 0, 0, 0}, і ніякий інший перехід не може спрацювати при ній. Отже, перехід t4 є стійким. p> Перехід t5 може спрацювати тільки при розмітці {1, 0, 0, 2, 0}, і ніякий інший перехід не може спрацювати при ній. Отже, перехід t5 є стійким. p> Мережа N називається стійкою, якщо всі її переходи стійкі.
В даній мережі два переходу не є стійкими, а значить сама мережа також не є стійкою.
Висновок: У процесі побудови мережі Петрі були визначені місця мережі як окремі ситуації процесу, розмітки, що відображають стан процесу в певний момент часу, і переходи, що задають зміну розміток. Потім був побудований граф мережі і повне покриває дерево, що збігається з графом розміток. Дана мережа є обмеженою і безпечною, але не є живою і стійкою. p align="justify"> Висновок
Модель - подання до математичних термінах того, що вважається найбільш характерним у досліджуваному об'єкті або системі. Кожна модель відображає ті чи інші аспекти поведінки системи. Наявність спільних властивостей у таких моделей дозволяє припустити деяку метамодель, яка породжує приватні об'єктні моделі. Метамодель - модель, застосовувана для дослідження і опису деякого класу моделей. У даному РГЗ в якості метамоделі ми розглянули модель Асинхронний процес .
В якості процесу було взято процес комутації у ЛВС. Для даного процесу була побудована метамодель Асинхронний процес : були виявлені компоненти процесу, ситуації, що виникають в ході виконання процесу. Серед ситуацій даного процесу були виявлені ініціатори, тобто ситуації, ініціюють процес, і результанти, тобто ситуації, завершальні процес. Також були визначені траєкторії переходів процесу від ініціаторів до Результант. Дослідження показало, що даний процес є ефективним і простим, але не є керованим. Був побудований граф процесу і були проведені операції: репозиція, редукція, послідовна композиція. В якості моделі для побудови мережі Петрі був узятий вихідний процес комутації. У процесі побудови було визначено, що дана мережа є обмеженою і безпечною, але не є живою і стійкою.
Список використаної літератури
1. Комп'ютерні мережі: принципи, технології, протоколи/В. Г. Оліфер, Н. А. Оліфер. - СПб.: Питер, 2001
. Конспект лекцій Лазаревої І.М. з дисципліни В«Теорія обчислювальних процесівВ»
