ВІСНИК - ХПІ - Національний Ñ‚ÐµÑ Ð½Ñ–Ñ‡Ð½Ð¸Ð¹ університет

де , ,hm m1nkjik ,j1 j1 k1true - логічні функції конъюнкції, диз'юнкції й імплікаціїf відповідно, kjF,hik H- елементи матриць інцидентності, причому розширенаматриця Hhm1,1...hnотримана з матриці H шляхом доповнення рядкомm 1,, деh m ( p )m 1,i o i.Всі переходи мережі, якої досяжні з розмітки M o , можна представитипозиційно еквівалентної з розмітки M o мережею, у якої дерево досяжностізбігається з деревом досяжності вихідної мережі, а топологія задовольняє умовідосяжності будь-якого переходу.Сказане дозволяє виділити із класу обмежених мереж Петрі підклас,названий TS-мережею Петрі.Виділений клас обмежених TS-мереж має ряд властивостей, головними зяких є наступні:1. В обмеженій TS-мережі Петрі для tj, дозволеного в рамках сценарію S i ,виконані дві умови:1.1. всі вершини p .... i1 pik, що становлять сценарій S i і визначаютьспрацьовування переходу t j або існує хоча б один інший перехід t i такий, щовершини p .... i1 pikздобувають розмітку одночасно в результаті спрацюванняцього переходу t i .1.2. розмітка M i , що визначає сценарій Si, який збігається з векторомстовпцемматриці F, що відповідає переходу t j , pi PMi( pi) F( pi,tj). Причомуможливо існування іншого, відмінного від t j , переходу t kpiPF( pi, tk) F( pi, tj), (8)де t k.Це означає, що обмежена TS-мережа в процесі функціонування переходитьвід стану до стану в результаті послідовного спрацьовування ланцюжкапереходів. Зміна станів системи спричиняє зміну сценаріїв: всі фішки, щопозначили вершини сценарію Si в результаті спрацьовування переходу t iперейдуть до вершин сценарію Sj в результаті спрацьовування дозволеного врамках сценарію Si переходу.Множина переходів в обмеженій TS-мережі Петрі є множина, динамічносформована в процесі конструювання або в процесі формування структуримережі.Розглянутий апарат обмежених TS-мереж Петрі дозволяє побудуватиалгебру для адекватного логічного моделювання динамічних недетермінованихструктур і процесів. У даному дослідженні обґрунтовано виділення класу мереж,що володіють деякими спеціальними властивостями, істотними для класурозглянутих завдань. Ці властивості дозволяють визначити набір операцій дляконструювання коректних мереж з під мереж для реалізації сценаріїв керування.На основі вище розглянутого реалізуємо А-сценарій керування ДА (рис.3).ISSN 2079.3944. Вісник НТУ “ХПІ». 2012. №44(950)34