1 Моделі системного рівня проектування на основі

  • Размер: 3.5 Mегабайта
  • Количество слайдов: 64

Описание презентации 1 Моделі системного рівня проектування на основі по слайдам

  1 Моделі системного рівня проектування  на основі мереж Петрі  1 Моделі системного рівня проектування на основі мереж Петрі

  2 Задачі системного рівня проектування (2) Синтез множини альтернативних рішень – морфологічний метод тощо. 2 Задачі системного рівня проектування (2) Синтез множини альтернативних рішень – морфологічний метод тощо. Задача зменшення потужності множини альтернативних рішень – метод гілок та границь тощо. Задачі аналізу – теорія мереж Петрі , теорія систем масового обслуговування, теорія множин тощо. Розділ 4. Моделі системного рівня проектування на основі мереж Петрі

  3 Основи мереж Петрі Розділ 4.  Моделі системного рівня проектування  на основі 3 Основи мереж Петрі Розділ 4. Моделі системного рівня проектування на основі мереж ПетріМережі Петрі (МП) — це інструмент для математичного моделювання і дослідження складних систем. Мета представлення системи у вигляді мережі Петрі і подальшого аналізу цієї мережі полягає в отриманні важливої інформації про структуру і динамічну поведінку модельованої системи. Ця інформація може використовуватися для оцінки модельованої системи і вироблення пропозицій по її удосконаленню. Вперше мережі Петрі запропонував німецький математик Карл Адам Петрі.

  4 Основи мереж Петрі.  Елементи МП Розділ 4.  Моделі системного рівня проектування 4 Основи мереж Петрі. Елементи МП Розділ 4. Моделі системного рівня проектування на основі мереж Петрі 1. Позиції 2. Переходи 3. Дуги (вхідні та вихідні)

  5 Основи мереж Петрі.  Визначення МП Розділ 4.  Моделі системного рівня проектування 5 Основи мереж Петрі. Визначення МП Розділ 4. Моделі системного рівня проектування на основі мереж ПетріВизначення 1. Мережа Петрі PN є четвіркою PN = (P, Т , I , O ), де P = { p 1 , p 2 , . . . , p n } — скінчена множина позицій, n 0; T = { t 1 , t 2 , . . . , t m } — скінчена множина переходів, m 0; I : T P * — вхідна функція, яка співставляє переходу мультимножину його вхідних позицій (графічно представляється вхідними дугами переходу); О: T P * — вихідна функція, яка співставляє переходу мультимножину його вихідних позицій (графічно представляється вихідними дугами переходу). Позиція p P називається входом для переходу t T , якщо p I ( t ). Позиція p P називається виходом для переходу t T , якщо p O ( t ). Структура мережі Петри визначається її позиціями, переходами, вхідною і вихідною функціями.

  6 Основи мереж Петрі.  Приклад МП Розділ 4.  Моделі системного рівня проектування 6 Основи мереж Петрі. Приклад МП Розділ 4. Моделі системного рівня проектування на основі мереж Петрі

  7 Основи мереж Петрі.  Граф  МП Розділ 4.  Моделі системного рівня 7 Основи мереж Петрі. Граф МП Розділ 4. Моделі системного рівня проектування на основі мереж ПетріНайнаочнішим представленням мережі Петрі є її графічне представлення. Графічне представлення МП — дводольний орієнтований граф. Нагадаємо, що дводольний граф — це такий граф, безліч вершин якого розбивається на дві підмножини і не існує дуги, що сполучає дві вершини з однієї підмножини. Граф мережі Петрі володіє двома типами вузлів : круг , який представляє місце мережі Петрі; і планка , яка представляє перехід мережі Петрі. Орієнтовані дуги цього графа (стрілки) сполучають перехід з його вхідними і вихідними позиціями. При цьому дуги направлені від вхідних позицій до переходу і від переходу до вихідних позицій. Кратним вхідним і вихідним позиціям переходу відповідають кратні вхідні і вихідні дуги.

  8 Основи мереж Петрі.  Маркована МП Розділ 4.  Моделі системного рівня проектування 8 Основи мереж Петрі. Маркована МП Розділ 4. Моделі системного рівня проектування на основі мереж ПетріМаркування — це розміщення у позиціях мережі Петрі фішок , які зображені на графі мережі Петрі крапками. Фішки використовуються для визначення виконання мережі Петрі. Кількість фішок у позиції при виконанні мережі Петрі може змінюватися від 0 до безмежності. Визначення 2. Маркована мережа Петрі N =( P , Т, I , О, М ) визначається сукупністю структури мережі Петрі ( P , T , I , О ) і маркування М.

  9 Основи мереж Петрі.  Приклад маркованої МП Розділ 4.  Моделі системного рівня 9 Основи мереж Петрі. Приклад маркованої МП Розділ 4. Моделі системного рівня проектування на основі мереж Петрі

  10 Основи мереж Петрі.  Правила перемикання МП Розділ 4.  Моделі системного рівня 10 Основи мереж Петрі. Правила перемикання МП Розділ 4. Моделі системного рівня проектування на основі мереж ПетріМережа Петрі виконується засобами запусків переходів. Запуск переходу керується фішками у його вхідних позиціях і супроводжується видаленням фішок з цих позицій і додаванням нових фішок у його вихідні позиції. Перехід може запускатися лише у тому випадку, коли він активізований. Перехід називається активізованим, якщо кожна з його вхідних позицій містить кількість фішок, яка не менша, ніж кількість дуг, які ведуть з цієї позиції у перехід (або кратності вхідної дуги).

  11 Основи мереж Петрі.  Недетермінованість перемикань мережі Петрі  Розділ 4.  Моделі 11 Основи мереж Петрі. Недетермінованість перемикань мережі Петрі Розділ 4. Моделі системного рівня проектування на основі мереж Петрі

  12 Основи мереж Петрі.  Правила перемикання МП Розділ 4.  Моделі системного рівня 12 Основи мереж Петрі. Правила перемикання МП Розділ 4. Моделі системного рівня проектування на основі мереж Петрі Після спрацювання переходу. До спрацювання переходу →

  13 Основи мереж Петрі.  Правила перемикання МП Розділ 4.  Моделі системного рівня 13 Основи мереж Петрі. Правила перемикання МП Розділ 4. Моделі системного рівня проектування на основі мереж Петрі

  14 Основи мереж Петрі.  Правила перемикання МП Розділ 4.  Моделі системного рівня 14 Основи мереж Петрі. Правила перемикання МП Розділ 4. Моделі системного рівня проектування на основі мереж Петрі

  15 Властивості мереж Петрі (1) Розділ 4.  Моделі системного рівня проектування  на 15 Властивості мереж Петрі (1) Розділ 4. Моделі системного рівня проектування на основі мереж Петрі

  16 Властивості мереж Петрі (2) Розділ 4.  Моделі системного рівня проектування  на 16 Властивості мереж Петрі (2) Розділ 4. Моделі системного рівня проектування на основі мереж Петрі

  17 Мережа Петрі.  Тупик Розділ 4.  Моделі системного рівня проектування  на 17 Мережа Петрі. Тупик Розділ 4. Моделі системного рівня проектування на основі мереж Петрі

  18 Мережа Петрі.  Граф досяжності Розділ 4.  Моделі системного рівня проектування 18 Мережа Петрі. Граф досяжності Розділ 4. Моделі системного рівня проектування на основі мереж Петрі

  19 Мережа Петрі.  Граф досяжності Розділ 4.  Моделі системного рівня проектування 19 Мережа Петрі. Граф досяжності Розділ 4. Моделі системного рівня проектування на основі мереж Петрі

  20 Види мереж Петрі 8.  Інгібіторні мережі Петрі. 9.  та ін. Розділ 20 Види мереж Петрі 8. Інгібіторні мережі Петрі. 9. та ін. Розділ 4. Моделі системного рівня проектування на основі мереж Петрі 1. Прості мережі Петрі. 2. Часові мережі Петрі. 3. Мережі Петрі з пріоритетами. 4. Ієрархічні мережі Петрі. 5. Кольорові мережі Петрі. 6. Функціональні мережі Петрі. 7. Стохастичні мережі Петрі.

  21 Моделі на основі теорії мереж Петрі (1) Модель на основі простої мережі Петрі 21 Моделі на основі теорії мереж Петрі (1) Модель на основі простої мережі Петрі , 0 P, T, F, MN n, . . . , S, SSP 21 m, . . . , t, tt. T 21 F 0 Mде: — множина позицій (станів); — множина переходів; — множина, яка задає початкове маркування мережі Петрі. — множина дуг, яка включає дві підмножини вхідних та вихідних дуг по відношенню до переходу; Розділ 4. Моделі системного рівня проектування на основі мереж Петрі

  22 Моделі на основі теорії мереж Петрі (2)n, . . . , S, SSP 22 Моделі на основі теорії мереж Петрі (2)n, . . . , S, SSP 21 m, . . . , t, tt. T 21 F 0 Mде: — множина позицій (станів); — множина переходів; — множина, яка задає початкове маркування мережі Петрі. — множина дуг, яка включає дві підмножини вхідних та вихідних дуг по відношенню до переходу; 0 Lft, MS, T, F, Eft, N time Модель на основі часової мережі Петрі , Eft, Lft — функції, що ставляться у відповідність до кожного з переходів і визначають часові межі. Lft(t)Eft(t) Розділ 4. Моделі системного рівня проектування на основі мереж Петрі

  23 Моделі на основі теорії мереж Петрі.  Приклад Мережа Петрі для найпростішої структури 23 Моделі на основі теорії мереж Петрі. Приклад Мережа Петрі для найпростішої структури підсистеми ІБ Розділ 4. Моделі системного рівня проектування на основі мереж Петрі

  24 Моделі на основі теорії мереж Петрі.  Приклад часової мережі Петрі Розділ 4. 24 Моделі на основі теорії мереж Петрі. Приклад часової мережі Петрі Розділ 4. Моделі системного рівня проектування на основі мереж Петрі

  25 Моделі на основі теорії мереж Петрі.  Приклад Мережа Петрі простої структури ІБ 25 Моделі на основі теорії мереж Петрі. Приклад Мережа Петрі простої структури ІБ для обробки аналогового сигналу Мережа Петрі структури ІБ для обробки цифрового сигналу Розділ 4. Моделі системного рівня проектування на основі мереж Петрі

  26 Моделі на основі теорії мереж Петрі (3) ,  де:  Модель на 26 Моделі на основі теорії мереж Петрі (3) , де: Модель на основі часової мережі Петрі з пріоритетами 0 Lft, PR, MS, T, F, Eft, Ntimepriorutet_ v, . . . , , PRPr. Pr 21 — множина пріоритетів, а 1 Pr — величина пріоритету для першого переходу. Розділ 4. Моделі системного рівня проектування на основі мереж Петрі

  27 Моделі на основі теорії мереж Петрі (4) Математична модель ІБ на основі кольорової 27 Моделі на основі теорії мереж Петрі (4) Математична модель ІБ на основі кольорової мережі Петрі , де: n. F, Conditioe_S, Type_, Type, Typ. S, T, F, MNcolour 0 Type — множина типів; Type_S — множина, яка відображає доступну множину типів у позиціях мережі; Type_F — множина, типів маркерів, що збуджують перехід, або які типи маркерів будуть згенеровані переходом; Condition — множина умов збудження переходів. Розділ 4. Моделі системного рівня проектування на основі мереж Петрі

  28 Моделі на основі теорії мереж Петрі.  Приклад Мережа Петрі з пріоритетами 28 Моделі на основі теорії мереж Петрі. Приклад Мережа Петрі з пріоритетами Розділ 4. Моделі системного рівня проектування на основі мереж Петрі

  29 Моделі на основі теорії мереж Петрі.  Приклад Часова мережа Петрі з пріоритетами 29 Моделі на основі теорії мереж Петрі. Приклад Часова мережа Петрі з пріоритетами Розділ 4. Моделі системного рівня проектування на основі мереж Петрі

  30 Основні меню підсистеми Розділ 4.  Моделі системного рівня проектування  на основі 30 Основні меню підсистеми Розділ 4. Моделі системного рівня проектування на основі мереж Петрі

  31 Приклад кольорової, часової мережі Петрі з приорітетами.  Приклад Розділ 4.  Моделі 31 Приклад кольорової, часової мережі Петрі з приорітетами. Приклад Розділ 4. Моделі системного рівня проектування на основі мереж Петрі

  32 Моделі на основі теорії мереж Петрі.  Стохастична МП, Sto. S, T, F, 32 Моделі на основі теорії мереж Петрі. Стохастична МП, Sto. S, T, F, MN 0 stoxasticpetry _ n, . . . , S, SSP 21 m, . . . , t, tt. T 21 F 0 M где: — множество позиций (состояний); — множество переходов; — множество дуг, которое состоит из двух подмножеств входных и выходных дуг по отношению к переходу; — множество, которое задает начальную маркировку сети Петри. v 21, . . . , Sto — множество вероятностей срабат ы вания переходов; Розділ 4. Моделі системного рівня проектування на основі мереж Петрі

  33 Моделі на основі теорії мереж Петрі.  Стохастична МП (2) → Не спрацював 33 Моделі на основі теорії мереж Петрі. Стохастична МП (2) → Не спрацював (більше 0. 9 та меньше рівне 1. 0) Спрацював (більше рівне 0. 0 і меньше рівне 0. 9) Розділ 4. Моделі системного рівня проектування на основі мереж Петрі

  34 Основні меню підсистеми Розділ 4.  Моделі системного рівня проектування  на основі 34 Основні меню підсистеми Розділ 4. Моделі системного рівня проектування на основі мереж Петрі

  35 Результати дослідження надійності підсистеми Розділ 4.  Моделі системного рівня проектування  на 35 Результати дослідження надійності підсистеми Розділ 4. Моделі системного рівня проектування на основі мереж Петрі

  36 Моделі на основі теорії мереж Петрі.  Приклад Розділ 4.  Моделі системного 36 Моделі на основі теорії мереж Петрі. Приклад Розділ 4. Моделі системного рівня проектування на основі мереж Петрі

  37 Моделі на основі теорії мереж Петрі.  Приклад Розділ 4.  Моделі системного 37 Моделі на основі теорії мереж Петрі. Приклад Розділ 4. Моделі системного рівня проектування на основі мереж Петрі

  38 Моделі на основі теорії мереж Петрі.  Приклад Розділ 4.  Моделі системного 38 Моделі на основі теорії мереж Петрі. Приклад Розділ 4. Моделі системного рівня проектування на основі мереж Петрі

  39 Моделі на основі теорії мереж Петрі.  Функціональні Розділ 4.  Моделі системного 39 Моделі на основі теорії мереж Петрі. Функціональні Розділ 4. Моделі системного рівня проектування на основі мереж Петрі

  40 Моделі на основі теорії мереж Петрі.  Функціональні Розділ 4.  Моделі системного 40 Моделі на основі теорії мереж Петрі. Функціональні Розділ 4. Моделі системного рівня проектування на основі мереж Петрі

  41 Моделі на основі теорії мереж Петрі.  Функціональні Розділ 4.  Моделі системного 41 Моделі на основі теорії мереж Петрі. Функціональні Розділ 4. Моделі системного рівня проектування на основі мереж Петрі

  42 Моделі на основі теорії мереж Петрі.  Інгібіторна МП 0 S, T, F, 42 Моделі на основі теорії мереж Петрі. Інгібіторна МП 0 S, T, F, MN , i, . . . , S, SSP 21 m, . . . , t, tt. T 21 0 M где: — множество позиций (состояний); — множество переходов; — множ. дуг, которое состоит из 3 подмножеств входных , выходных и ингибиторных дуг по отношению к переходу; — множество, которое задает начальную маркировку сети Петри; notoutin. FFFF, , }, . . . , , {, 2, 1, linin. FFFF}, . . . , , {, 2, 1, moutout. FFFF }, . . . , , {, 2, 1, knotnot. FFFF i, j nkml — количество позиций и переходов; — количество дуг. Розділ 4. Моделі системного рівня проектування на основі мереж Петрі

  43 Моделі на основі теорії мереж Петрі.  Інгібіторна МП. Приклад Розділ 4. 43 Моделі на основі теорії мереж Петрі. Інгібіторна МП. Приклад Розділ 4. Моделі системного рівня проектування на основі мереж Петрі

  44 Моделі на основі теорії мереж Петрі.  Інгібіторна МП. Приклад Модель МЕМС на 44 Моделі на основі теорії мереж Петрі. Інгібіторна МП. Приклад Модель МЕМС на основі простої мережі Петрі Модель МЕМС на основі інгібіторної мережі Петрі Розділ 4. Моделі системного рівня проектування на основі мереж Петрі

  45 Моделі на основі теорії мереж Петрі.  Інгібіторна МП. Приклад Матриця інцидентності для 45 Моделі на основі теорії мереж Петрі. Інгібіторна МП. Приклад Матриця інцидентності для простої мережі Петрі Матриця інцидентності для інгібіторної мережі Петрі Розділ 4. Моделі системного рівня проектування на основі мереж Петрі

  46 Моделі на основі теорії мереж Петрі.  Інгібіторна МП. Приклад Розділ 4. 46 Моделі на основі теорії мереж Петрі. Інгібіторна МП. Приклад Розділ 4. Моделі системного рівня проектування на основі мереж Петрі

  47 Моделі на основі теорії мереж Петрі.  Ієрархічна МП. Приклад Розділ 4. 47 Моделі на основі теорії мереж Петрі. Ієрархічна МП. Приклад Розділ 4. Моделі системного рівня проектування на основі мереж Петрі

  48 Моделі на основі теорії мереж Петрі.  Ієрархічна МП. Приклад Розділ 4. 48 Моделі на основі теорії мереж Петрі. Ієрархічна МП. Приклад Розділ 4. Моделі системного рівня проектування на основі мереж Петрі

  49 Моделі на основі теорії мереж Петрі.  Ієрархічна МП. Приклад Розділ 4. 49 Моделі на основі теорії мереж Петрі. Ієрархічна МП. Приклад Розділ 4. Моделі системного рівня проектування на основі мереж Петрі

  50 Підсистема контролю протікання води  Приклад Розділ 4.  Моделі системного рівня проектування 50 Підсистема контролю протікання води Приклад Розділ 4. Моделі системного рівня проектування на основі мереж Петрі

  51 Підсистема водопостачання.  Приклад Розділ 4.  Моделі системного рівня проектування  на 51 Підсистема водопостачання. Приклад Розділ 4. Моделі системного рівня проектування на основі мереж Петрі

  52 Підсистема контролю протікання газу  Приклад Розділ 4.  Моделі системного рівня проектування 52 Підсистема контролю протікання газу Приклад Розділ 4. Моделі системного рівня проектування на основі мереж Петрі

  53 Підсистема газозабезпечення.  Приклад Розділ 4.  Моделі системного рівня проектування  на 53 Підсистема газозабезпечення. Приклад Розділ 4. Моделі системного рівня проектування на основі мереж Петрі

  54 Підсистема клімат контролю (1)  Приклад Розділ 4.  Моделі системного рівня проектування 54 Підсистема клімат контролю (1) Приклад Розділ 4. Моделі системного рівня проектування на основі мереж Петрі

  55 Підсистема клімат контролю (2)  Приклад Розділ 4.  Моделі системного рівня проектування 55 Підсистема клімат контролю (2) Приклад Розділ 4. Моделі системного рівня проектування на основі мереж Петрі

  56 Підсистема клімат контролю (3)  Приклад Розділ 4.  Моделі системного рівня проектування 56 Підсистема клімат контролю (3) Приклад Розділ 4. Моделі системного рівня проектування на основі мереж Петрі

  57 Дякую за увагу! 57 Дякую за увагу!

  58 Автоматні МП Розділ 4.  Моделі системного рівня проектування  на основі мереж 58 Автоматні МП Розділ 4. Моделі системного рівня проектування на основі мереж ПетріАвтоматні мережі Петрі ( state machine ) − мережі у яких перехід має не більше одного входу і не більше одного виходу. Такі мережі звичайно описують послідовні процеси із розгалуженням по умові. Якщо мережа має тільки одну мітку, то мережа є, по суті, графом автомата, який послідовно переходить з одного стану в інший. Мережа забезпечується однією фішкою, розташованою в початковій вершині. Загальна кількість фішок в автоматній мережі при переході від стану до стану не міняється, тобто SM -мережі є обмеженими, а за наявності однієї фішки — безпечними.

  59 Ординарні МП Розділ 4.  Моделі системного рівня проектування  на основі мереж 59 Ординарні МП Розділ 4. Моделі системного рівня проектування на основі мереж ПетріОрдинарні мережі − ( ON -мережі або Ordinary nets ) − мережі, які не мають обмежень, окрім однієї −кратність дуг повинна бути не більше за одиницю. Між вузлами прокладається рівно один зв’язок. Неординарна мережа може бути перетворена в ординарну. Для цього знаходять максимальну кратність дуг кожного місця і проводять розмноження позиції у відповідності зі встановленою кратністю. Ці позиції з’єднуються одна з одною в кільце, при цьому дуги прорізаються своїм переходом. Напрямок дуг є однонаправленим так, щоб утворювався цикл. Далі відновлюють зв’язки даної розмноженої позиції з усіма переходами. Алгоритм проведення зв’язків жорстко не встановлений, але зв’язки проводяться так, щоб вони залишалися ординарними.

  60 Потокові МП Розділ 4.  Моделі системного рівня проектування  на основі мереж 60 Потокові МП Розділ 4. Моделі системного рівня проектування на основі мереж ПетріПотокові мережі − мережі, які моделюють потокові системи, в яких здійснюється управління даними. Операції виконуються одразу при готовності даних. У потоковій мережі Петрі переходи інтерпретуються як оператори або обчислювальні функції, місця інтерпретуються як черги, а дані − як фішки. Якщо перехід не має входів, то він реалізується n -місною функцією, яка спрацьовує відразу ж за наявності фішок у всіх вхідних місцях. Дані є такими, що не адресуються, іншими словами вони містяться не в центральній, а в розподіленій пам’яті.

  61 Марковані МП Розділ 4.  Моделі системного рівня проектування  на основі мереж 61 Марковані МП Розділ 4. Моделі системного рівня проектування на основі мереж ПетріМарковані мережі ( MG -мережі або market graph ) − мережі, у яких кожна позиція має не більше одного входу і не більше одного виходу. За їх допомогою моделюють послідовно-паралельні процеси. MG -мережі називають також синхрографами. Перехід в синхрогрофі є потенційно живим, якщо він не входить ні в один порожній цикл (не містить жодної фішки). Синхрограф є живим, якщо кожен його цикл не порожній при початковій розмітці. Живий синхрограф є безпечним тоді і тільки тоді коли кожне його місце входить в певний цикл, що містить рівно одну фішку.

  62 МП вільного вибору Розділ 4.  Моделі системного рівня проектування  на основі 62 МП вільного вибору Розділ 4. Моделі системного рівня проектування на основі мереж ПетріМережі вільного вибору ( FC -мережі або free choice ) − мережі у яких кожна дуга, що виходить з позиції, є або єдиним виходом з неї, або єдиним входом в перехід. FC -мережі використовуються для опису процесів керування. Для мереж вільного вибору розроблений механізм виявлення пасток і тупиків. Необхідна умова живучості мережі вільного вибору є те, що тупик повинен містити в собі пастку. Отже, дана мережа не є живою. Шляхом мережі називається послідовність переходів і позицій, зв’язаних направленими дугами. Якщо початок і кінець шляху співпадає, то такий шлях називається циклом. Критерієм близькості живої вільної мережі є можливість її покриття циклами.

  63 Механізм взаємного виключення Розділ 4.  Моделі системного рівня проектування  на основі 63 Механізм взаємного виключення Розділ 4. Моделі системного рівня проектування на основі мереж Петрі

  64 Механізм взаємного виключення Розділ 4.  Моделі системного рівня проектування  на основі 64 Механізм взаємного виключення Розділ 4. Моделі системного рівня проектування на основі мереж Петрі