Студопедия

Главная страница Случайная страница

Разделы сайта

АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторикаСоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника






Методи аналізу модифікацій сіток Петрі






Для кольорових сіток існують аналогічні методи аналізу властивостей роботи, що розглядалися у попередніх пунктах.

Наведемо тільки відмінності у застосуванні, що існують для методу аналізу матричного подання при знаходженні інваріант кольорової сітки [11].

Динаміку руху маркерів у кольоровій сітці записують рівнянням:

Mk = Mk +1 + DUk,

де – тривимірна матриця, елементи якої Dij подаються у вигляді векторів-рядків розмірністю q. Якщо позиція pi має вихідні дуги кольору cl до переходу tj, то dijl = -1, якщо позиція pi має вхідні дуги кольору cl з переходу tj, то dijl = 1, якщо немає дуг цього кольору, то dijl = 0, тобто матриця D формується на базі функцій F i H із врахуванням функцій l і y.

Властивості сітки встановлюють наступним чином. Для визначення обмеженості розв’язують систему:

DTV = 0,

де V = [ Vi ] – вектор-стовпець p -інваріанти, компоненти якого подаються як .

Фундаментальна система B має (n – rq) розв’язків, якщо r – ранг матриці D, n – кількість позицій, q – кількість кольорів маркерів.

Для визначення живучьості розв’язують систему:

DW = 0,

де W = [ Wj ] – вектор-стовпець t -інваріанти, компоненти якого подаються як .

Умова існування тупиків в кольоровій сітці знаходиться з аналізу системи:

BM = BM 0;

OM £ OE ¢ – E,

де ; oijl = 1, якщо існує дуга кольору cl з pi в tj;

E ¢ = [ Ej ] – вектор, компоненти якого подані наборами з q одиниць.

 






© 2023 :: MyLektsii.ru :: Мои Лекции
Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав.
Копирование текстов разрешено только с указанием индексируемой ссылки на источник.