Контрольная работа: Імітація процесів гнучких виробничих систем за допомогою апарата мереж Петрі
Рис 1.4 Варіанти спрацьовування мережі
Приклад
Розглянемо приклад конвеєра. Нехай є три обробні пристрої t0 , t1 , t2 організовані у вигляді конвеєра. Це можуть бути, наприклад, верстати на заводі або функціональні пристрої конвеєрного процесора й взагалі будь-який конвеєр, у якому кожен обробний пристрій виконує лише частину загальної роботи, а результат буде вироблений лише останнім з них.
Особливістю нашого конвеєра є обмеженість ємності місць p1 і р2 ; місце p1 може вмістити лише два результати (місце p1 мережі є 2-обмеженим ) попереднього етапу роботи конвеєра (виробляється переходом t0 ), а місце p2 - 3-обмеженим.
Символ n у місці р0 означає наявність n фішок у ньому, n - ціле позитивної число.
Мережа Петрі, що забезпечує необхідне пряме керування, наведена на рис.1.5. Зрозуміло, що в місці p1 не може нагромадитися більше 2 фішок при будь-яких порядках спрацьовування переходів мережі.
Місця p1 і р2 часто ще називають асинхронними каналами, з їхньою допомогою реалізується програмування засобами асинхронного message passing interface.
Рис 1.5 Імітаційна модель необхідного прямого керування
Мережа Петрі, у якій всі місця 1-обмежені, називається безпечною . Такою мережею можна задавати пряме керування в програмах.
Безпечна мережа ніколи, не допустить, щоб у змінну було покладено нове значення, якщо старе ще не було використано по призначенню. Порушення цього правила часто є причиною помилок у паралельних програмах.
2. Розширення мереж Петрі
Для того, щоб використати мережі Петрі для моделювання стохастичних процесів, були здійснені наступні розширення:
Використання часу (стохастичні Мережі Петрі)
Для моделювання різних процесів необхідно кількісно розглядати час. У стандарті мереж Петрі для цього немає механізмів. Стохастичні мережі Петрі як розширення стандарту мереж Петрі можуть розглядати час. У принципі будь-які елементи мережі Петрі можна об'єднати з компонентом часу. Так, час могло б розташовуватися в позиціях, мітках, дугах й/або переходах.
Для SimNet час установлюється в перехід (синхронізовані мережі Петрі). Таким чином, дії, що поглинають час, описуються переходами, оскільки стани описуються позиціями. Якщо мітки деяких позицій будуть інтерпретуватися як послуги, що виробляються за деякий номінальний час, то такі позиції можуть замінятися переходом. Крім того, у цьому випадку мітки таких переходів не затримуються в ньому протягом часу роботи, але встановлюються як недоступні (зарезервовані) у вихідних позиціях. Це допомагає уникнути ситуації, коли через паралельні процеси спрацьовування переходу стає неможливим протягом часу послуги. Це повинне вимагати повернення міток на вхідні позиції, які відбивають реальні процеси й не пристосовані до односпрямованого поняття потоку, яке використовується в стандарті мереж Петрі.
Оскільки для опису реальних процесів потрібно не тільки фіксований час, але також час, описуваний статистичними розподілами, то використовуються стохастичні мережі Петрі як спеціальний тип часу, що оцінює роботу мережі Петрі.
Коли перехід одержує можливість спрацьовування, він спрацьовує негайно. Мітки, узяті у вхідних позиціях, установлюються у вихідні позиції.
Час послуги може описуватися кожним з наступних розподілів:
постійний розподіл; однорідний розподіл;
експонентний розподіл; розподіл Эрланга;
пуасоновський розподіл; нормальний розподіл;
розподіл Вейбулла; бета-розподіл;
трикутний розподіл (симетричне); гамма-розподіл.
Пофарбовані (кольорові) мережі Петри
Для багатьох завдань моделювання необхідно розрізняти різні типи інформації й істотних потоків, які зустрічаються в системі. У відомій мірі це може досягатися окремими структурами мереж Петрі для кожного з типів потоку, які синхронізуються тільки в переходах. Але із цим методом модель губить свою подібність із вихідною системою, де різні типи потоків часто використають однакові маршрути передачі. Додаткові проблеми виникають, коли різним типам потоків потрібно поширювати обмежені ресурси.
Щоб моделі різних потоків мали взаємозалежності, розподіл типів потоків окремими позиціями й дугами неможливий. Тому бажано, щоб однорідні мітки одного потоку відрізнялися від однорідних міток іншого потоку. Це розширення стандарту мережі Петрі назване пофарбованою або кольоровою мережею Петрі.
Рішення Конфлікту.