- •Національний унiверситет "Львiвська полiтехнiка"
- •До лабораторної роботи № 1 «моделювання систем на основі мереж петрі у середовищі vipenet»
- •1. Мета роботи
- •2. Короткі теоретичнi вiдомостi
- •2.1. Природа систем, які моделюються мережами Петрі.
- •2.2. Підходи до проектування систем за допомогою мережами Петрі.
- •2.3. Основні визначення.
- •2.4. Графи мереж Петрі
- •2.6. Правила виконання мереж Петрі
- •2.5. Маркування мереж Петрі
- •2.7. Панелі інструментів
- •2.8. Робоче вікно
- •2.9. Робочі інструменти
- •2.10. Моделювання
- •2.11. Типи файлів і робота з ними
- •3. Лабораторне завдання
- •5. Список літератури
2.10. Моделювання
Для
запуску процесу моделювання необхідно
натиснути на будь-якій з панелей
інструментів кнопку
.
У цьому випадку, якщо граф коректний,
моделювання продовжуватиметься доти,
поки не закінчаться фішки у всіх місцях,
або до примусової зупинки, якщо граф
циклічний. Зупинити процес
моделювання можна натиснувши кнопку
.
Припинення моделювання
здійснюється натисненням на
.
Після того, як моделювання припинено,
його можна продовжити або у нормальному
режимі, або у покроковому. Для
нормального продовження потрібно
натиснути
.
Для покрокового режиму
потрібно натиснути
.
Кожне натиснення здійснює
один крок моделювання. У покроковий
режим можна перейти без припинення,
якщо відразу натискувати кнопку
.
2.11. Типи файлів і робота з ними
Програма VIPeNET підтримує наступні типи файлів:
/ *.VIP (рідний формат файлів програми VIPeNET). Розроблений для VIPeNET формат файлів.
/ *.NMP (формат файлів програми MPNET)
Ці файли програма VIPeNET може відкривати для моделювання, редагування і збереження в свій формат (*.VIP).
2.10.1. Створення файлу
Для створення файлу, увійдіть у меню 'File' і виберіть команду 'New'. Якщо перед цим ви працювали з іншим файлом, то з'явиться наступне меню з питанням про подальші дії програми:
Варіант 'Save' дозволить зберегти роботу перш ніж програма очистить робоче вікно для побудови нового графа. Варіант 'New' - жодні зміни не будуть збережені, робоче вікно очиститься для побудови нової моделі.
Для
швидкого звернення до команди 'New',
скористайтеся кнопкою
яка розташова на статичній панелі
інструментів.
2.10.2. Збереження і завантаження файлу
Щоб зберегти файл уійдіть в меню 'File', там виберіть або 'Save' для швидкого збереження відкритого файлу (без зміни імені), або якщо це новостворений файл, 'Save As...' (з можливістю задати ім'я файлу).
У випадку якщо ви натискували 'Save As...' з'явиться стандартне вікно збереження.
Рис.2.13. Стандартне вікно збереження файлу проекту
По замовчуванню ім'я файлу 'untitled.vip'. Задавши ім'я тиснемо кнопку збереження.
Швидке
збереження: 'Ctrl+S',
також можна використовувати кнопку
на панелі інструментів.
За відсутності яких-небудь змін, при спробі збереження буде виведено повідомлення:
що свідчить про те, що змін немає.
Щоб
відкрити файл скористайтеся командою
'Open...' у розділі 'File'. Можна
також скористатися кнопкою
,
або комбінацією клавіш 'Ctrl+O'. З'явиться
стандартне вікно відкриття файлу.
Користувачу залишиться вибрати тип
файлу VIP або
NMP (*.VIP
по замовчуванню), що
відкривається, вказати файл і натиснути
кнопку відкриття файлу.
3. Лабораторне завдання
3.1. Промоделювати у системі наступні мережі Петрі:
Типові варіанти індивідуальних завдань:
Варіант 1:
|
|
Варіант 2: |
|
Варіант 3:
|
|
Варіант 4:
|
|
Варіант 5:
|
|
Варіант 6:
|
|
Варіант 7: |
|
Варіант 8: |
|
Варіант 9: |
|
Варіант 10: |
|
Варіант 11: |
|
Варіант 12: |
|
Варіант 13: |
|
Варіант 14: |
|
Варіант 15: |
|
Варіант 16: |
|
Варіант 17: |
|
Варіант 18: |
|
Примітка: Індивідуальний варіант видається викладачем.
4. ЗМІСТ ЗВІТУ
Мета роботи.
Теоретичний аналіз опрацьованого матеріалу.
Відповіді на контрольні запитання.
Індивідуальне завдання.
Аналіз отриманих результатів і висновки.
Список використаної літератури.
