Зайцев Д.А. Мережі Петрі і моделювання систем

Методичні вказівки до практичних занять і лабораторних робіт для підготовки магістрів з напрямку «Телекомунікації» Представлено завдання до практичних занять по вивченню
основ теорії мереж Петрі, лабораторні роботи з
практичного освоєння методів аналізу і синтезу мереж
Петрі за допомогою комп'ютерних моделюючих систем Pndpi,
Tina, Design/CPN, а також лабораторні роботи з
проектування телекомунікаційних мереж і керуючих систем
на основі методів теорії мереж Петрі. Практичне заняття
1. Побудова моделей простих об'єктів
Лабораторна робота
1. Імітація динаміки мереж Петрі
Практичне заняття
2. Аналіз властивостей мереж за допомогою дерева покриваючих маркувань
Лабораторна робота
2. Дослідження обмеженості і безпеки мережних моделей
Практичне заняття
3. Аналіз властивостей мереж за допомогою фундаментального рівняння та інваріантів
Лабораторна робота
3. Пошук тупиків у моделюємих системах
Практичне заняття
4. Аналіз властивостей мереж за допомогою редукції
Практичне заняття
5. Побудова породжуючого сімейства функціональних підмереж
Лабораторна робота
4. Побудова і дослідження моделей локальних мереж
Лабораторна робота
5. Побудова і дослідження моделей мережних протоколів.
Лабораторна робота
6. Побудова і дослідження моделей систем автоматичного керування
Додаток
1. Набір мереж Петрі для дослідження
Додаток
2. Індивідуальні завдання до побудови моделей систем
Додаток
3. Короткий опис використовуваних моделюючих систем
П
.3.1. Моделююча система pndpi
П
.3.2. Моделююча система Tina
П
.3.3. Моделююча система Design/CPN