Дерево досяжності мереж Петрі - Комп'ютерне моделювання
Властивості стохастичних Мереж Петрі.
-Безпека:
Позиція мережі Петрі називається безпечною, якщо маркування мережі
M(pi) <= 1, тобто m (pi) є {0,1}. Мережа Петрі називається безпечною, якщо всі її позиції безпечні.
-Обмеженість:
Позиція мережі Петрі pi називається N-обмеженою, якщо m (pi) ? N будь-якого маркування, N> 1. Мережа Петрі називається N-обмеженою, якщо всі позиції мережі N-обмежені.
-Абсолютна (строга) збереженість:
Мережа Петрі з початковою маркуванням M0 називається суворо зберігальною, якщо відповідній M' мережі справедливо:
-Збереженість по відношенню до вектора зважування:
Мережа Петрі називається зберігається по відношенню до деякого вектору зважування W = [w1, w2, .., wn], заданому на безлічі позицій P мережі, де
Wi = 1,2, .., якщо відповідно M' мережі справедливо:
Таким чином, wi - ваговий коефіцієнт фішки в i-й позиції.
-Активність / пасивність фрагмента мережі або переходу
У мережах Петрі з M0 може виявитися така ситуація, в якій перехід tj буде недозволеним відповідно послідовності запусків. У цьому випадку, перехід tj називається пасивним, а СП - пасивною. Якщо немає такої послідовності G <tj, ts>, яка може привести до тупикового стану, то така СП - активна.
- -Досяжність того чи іншого маркування мережі -Покривання того чи іншого маркування мережі
Похожие статьи
-
Моделювання процесів стохастичних мереж Петрі - Комп'ютерне моделювання
Імітаційне моделювання - це метод дослідження, при якому досліджувана система замінюється моделлю, що з достатньою точністю описує реальну систему і з...
-
Дерево досяжності ССП - це граф, вершинами якого є реальні стани (маркування) мережі, які можуть бути досягнуті з кожного чергового реального стану...
-
Моделювання процесів в Petri-nets моделях, Спостереження за моделюванням - Комп'ютерне моделювання
У процесі моделювання реалізується основний режим роботи імітаційної моделі - виконання Мереж Петрі. Особливістю режиму виконання ССП є те, що при...
-
Вступ - Комп'ютерне моделювання
Моделювання - це процес дослідження властивостей натури шляхом проведення експериментів на моделях, які адекватно замінюють натуру в рамках конкретної...
-
5. Дослідження моделей інформаційних потоків - Комп'ютерне моделювання
Інформаційний потік - послідовність однорідних випадкових подій, кожна з яких несе одну або декілька заявок. Якщо в кожній події 1 заявка, то потік...
-
Вибір варіанту: №зк = 9228, Томашпольський Владислав Олександрович Таблиця 7.1 Параметри структури log сервера 1 літера прізвища Варіант структур (А)...
-
Марківський граф, 4.1 Інструкція користувача. Побудова Марковського графа - Комп'ютерне моделювання
Метод моделювання на основі Марковських ланцюгів широко застосовують у таких областях, як автоматизація проектування та організації в автоматизованих...
-
Локальна мережа проектується для дизайнерської фірми " Ilona ", яка розташована в чотирьохповерховому будинку. В даному будинку є знаходиться 15 офісних...
-
Із розвитком нових досягнень в технологіях мереж на початку 80-х років мережі почали поширюватись. Кожна компанія створювала власні стандарти та...
-
Для побудови локально мережі були використані кошти на матеріали, устаткування і на прокладку мережі. Для визначення цих коштів необхідно провести...
-
Моделювання мережі - Розробка мережі в Cisco Packet Tracer
Для моделювання компютерної мережі я користувався програмою Cisco Packet Tracer. Packet Tracer - емулятор мережі передачі даних, що випускається фірмою...
-
План проектованої мережі показано в додатку 1. Згідно ним чотири приміщення знаходяться на другому поверсі. В них буде розміщено наше обладнання, а саме:...
-
Комп'ютерне проектування зварювальних установок
Комп'ютерний практикум №1 Вивчення загальних принципів тривимірного проектування виробів в Solidworks Мета роботи - вивчення загальних принципів побудови...
-
Система адрес та імен Internet - Створення комп'ютерних технологій
Для роботи в Internet потрібно знати адреси та імена людей і комп'ютерів. Правильно вказати адресу чи ім'я в мережі так само важливо, як і точно написати...
-
Ресурси Internet та способи доступу до нього - Створення комп'ютерних технологій
Internet має широке, але все-таки обмежене застосування. Перерахуємо, що він може дати людині: 1. Можливість спілкуватися з іншими людьми - обмін...
-
Визначення мережі - Характеристики та перспективи використання локальних мереж
Способів і засобів обміну інформацією за останнім часом запропонована безліч: від найпростішого переносу файлів за допомогою дискети до всесвітньої...
-
Локальні мережі вирішують такі задачі: Радіус дії обмежується невеликими географічними відстанями. Надає множинний доступ до спільного передавального...
-
Висновки, Література - Проектування комп'ютерної межі для дизайнерської фірми
В даній курсовій роботі було вирішено завдання по проектуванню межі для дизайнерської фірми "Ilona" Для цього спочатку було здійснено оцінку вимог до...
-
Вибір і технологічні характеристики маршрутизаторів - Розробка мережі в Cisco Packet Tracer
Маршрутизатор (англ. Router ) - електронний пристрій, що використовується для поєднання двох або більше мереж і керує процесом маршрутизації. Для...
-
Вибір і технологічні характеристики комутаторів - Розробка мережі в Cisco Packet Tracer
Комутатор - пристрій, призначений для з'єднання декількох вузлів комп'ютерної мережі в межах одного або декількох сегментів мережі. Для створення...
-
Введення тексту - Будова персонального комп'ютера
Коли потрібно щось ввести у програму, повідомлення електронної пошти або в текстове поле, на екрані відображається вертикальна риска, що мерехтить ( )....
-
Клавіатура і миша - Будова персонального комп'ютера
Клавіатура - пристрій для введення інформаційних даних. Інформаційні дані вводяться у вигляді алфавітно-цифрових та символьних даних. Стандартна...
-
Вибір і технологічні характеристики мережевих адаптерів Мережевий адаптер - адаптер NIC (англ. Network interface card) - периферійний пристрій, що...
-
Згідно технічного завдання потрібно спроектувати локальну комп'ютерну мережу, яка складається з п'яти поверхів, на кожному з яких знаходиться по п'ять...
-
Aрхітектурнa та телекомунікаційна стадія проектування СКС Структурована кабельна система (Structured Cabling System, SCS) - це набір комутаційних...
-
Реальність та міфи "інформаційної магістралі" - Створення комп'ютерних технологій
Швидкість, з якою розвивається Internet та супутні технології, поставила його в один ряд з найдинамічнішими галузями людської діяльності. Те, що вчора...
-
Сутність поняття Internet - Створення комп'ютерних технологій
Багатогранність Internet не дає змоги однозначно його визначити. З погляду техніки Internet -- це система з'єднаних між собою комп'ютерних мереж,...
-
Розвиток засобів обчислювальної техніки, а особливо поява ПК сприяли створенню нового типу інформаційно - обчислювальних систем під назвою локальні...
-
Топології локальних мереж - Розробка мережі в Cisco Packet Tracer
Топологія локальних комп'ютерних мереж - це місцерозташування робочих станцій і вузлів відносно один одного і варіанти їх з'єднання. Фактично це...
-
Мережеві технології локальних мереж Локальна комп'ютерна мережа (англ. Local Area Network(LAN)) являє собою об'єднання певного числа комп'ютерів (іноді...
-
Перевіряємо працездатність мережі., Висновок - Розробка мережі в Cisco Packet Tracer
Щоб впевнитись, що є з'єднання між комп'ютерами виконуємо перевірку, за допомогою команди ping з PC2 на PC16 (рисунок 5.9). Рисунок 5.8. Вікно перевірки...
-
Вступ - Розробка мережі в Cisco Packet Tracer
Локальний мережа кабельний Звичайне підприємство, незалежно від його розмірів та виду діяльності має справу з великим обсягом інформації, обробляти яку,...
-
Розрахунок електричних характеристик для даної мережі - Розробка мережі в Cisco Packet Tracer
Потужність, яку споживає мережа, буде дорівнювати сумі потужностей пристроїв, що входять до її складу (дані для одного поверху приведені в таблиці 5.4)....
-
Методика розрахунку мережі, Розрахунок PDV - Розробка мережі в Cisco Packet Tracer
Розрахунок PDV Допустимі розміри мережі Ethernet визначаються рядом факторів: - обмеження на довжину кабельного сегменту, що пов'язане з затуханням та...
-
Небезпечні й шкідливі виробничі фактори по природі виникнення діляться на наступні групи: - фізичні; - хімічні; - психофізіологічні; - біологічні. У...
-
UML - моделювання Більшість існуючих методів об'єктно-орієнтованого аналізу і проектування (ООАП) включають як мову моделювання, так і опис процесу...
-
Структура мережі - Розробка мережі в Cisco Packet Tracer
З власних міркувань загальну мережу я вирішив скласти з окремих так-званих підмереж (1 поверх одна мережа), це забезпечить насамперед значну швидкодію та...
-
Периферійні пристрої, Принтер - Будова персонального комп'ютера
Принтер Принтер служить для виведення (друку) інформації на папір. Існують три типи принтерів: Матричний, струменевий, лазерний. Основна характеристика:...
-
Вступ - Проектування комп'ютерної межі для дизайнерської фірми
Інформаційно-комунікаційні технології, що з'явилися у другій половині XX ст., суттєво змінили життя людства. Саме вони створили передумови формування...
-
Вступ - Комп'ютерна графіка - погляд у майбутнє
Комп'ютерна графіка з'явилась достатньо давно -- вже у 1960-х роках існували повноцінні програми роботи з графікою. Сьогодні прийнято користуватися...
Дерево досяжності мереж Петрі - Комп'ютерне моделювання