режа Петрі гра програма
На головній формі розміщені три таблиці:
Таблиця входів (кількість входів з i-ої позиції в j-ий перехід). p align="justify"> Таблиця виходів (кількість виходів з j-ого переходу в i-у позицію).
Таблиця маркування (відображає поточну кількість фішок в позиціях мережі).
Меню програми має наступну структуру:
Файл
Створити
Відкрити
Зберегти
Інформація
Запустити
Верхня панель містить інструменти для додавання і видалення позицій і переходів.
При виборі команди Файл - Створити, з'являється форма з полями для введення кількості позицій і переходів нової мережі (Рис.15).
В
Рис.22 Форма для завдання параметрів нової мережі.
Вибравши команду Файл - Відкрити, користувач бачить діалогове вікно, з пропозицією вибрати файл, що містить збережену раніше мережа Петрі (Рис.16). Після чого в редактор завантажується мережа Петрі. br/>В
Рис.23 Діалогове вікно для завантаження файлу з СП.
Для збереження створеної або зміненої мережі Петрі в редакторі передбачена команда Файл - Зберегти, в результаті виконання якої відкриється діалогове вікно, в якому необхідно або вибрати вже існуючий файл для його перезапису, або створити новий файл для збереження мережі .
Для видалення позиції (переходу) необхідно вибрати тип видаляється елемента на панелі редагування, вказати номер цього елемента і натиснути кнопку видалення (Рис.17).
В
Рис.24 Форма видалення позиції (переходу).
Для здійснення запуску необхідно вибрати команду меню Запустити, в результаті чого відобразиться форма (Мал. 20).
В
Рис. 25 Запуск переходів. br/>
На даній формі розташований список з дозволеними переходами. Для запуску переходу необхідно натиснути кнопку Запустити. Внизу розташована таблиця з поточною маркуванням СП, яка змінюється в процесі запусків переходів. Так само є можливість В«зворотногоВ» запуску переходів - кнопка Відкат (для контролю коректності роботи введено поле із зазначенням послідовності запущених переходів). p align="justify"> При виборі команди Інформація про позиції (Мережа - Інформація про переходах) виводиться форма зі списком позицій (переходів). При кліці на одному з елементів списку у двох полях навпроти відображається інформація про даному елементі - імена і кількість вхідних/вихідних переходів (позицій). При показі інформації про позицію внизу відображається кількість фішок у цій позиції. (Мал. 22). br/>В
Рис.26 Інформація про позиції (переходах)
Структура ...
