 |
Описание программы PetriNetWork
|
|
|
|
Исполняемый файл программы Petrinet.exe.
К возможностям программы относятся: построение сети Петри на экране с помощью мыши, синтез сети по заданному набору правил управления вида «если…то…», анализ свойств построенной сети Петри: ограниченности, обратимости, безопасности, живости, правильности, определение пассивных переходов при заданной начальной маркировке, определение класса сети (Автомат, Маркированный граф, Сеть со Свободным Выбором), расчет матрицы инцидентности и др.
Рисунок 5 – Главное окно программы PetriNetWork
На панели инструментов программы имеется набор кнопок, сгруппированных по функциональным признакам. Назначения групп кнопок приведены ниже по порядку, слева направо:
1 Кнопки работы с диском
- Создать новую сеть – очищает поле для рисования или синтеза новой сети;
- Открыть – загрузка сети Петри, заранее сохраненной на диске. При нажатии кнопки на экран выводится диалог открытия файла. По умолчанию расширение файлов данных, в которых сохраняются сети Петри, -.dat, но по желанию оно может быть иным.
- Сохранить – сохранение текущей сети в файле. Если сеть ранее не сохранялась в отдельном файле, то будет запрошено имя нового файла.
2 Кнопки работы с принтером (в демо-версии не работают)
- Печать – вывод текущей сети на принтер,
- Предварительный просмотр – позволяет просмотреть текущую сеть перед печатью.
3 Кнопки UnDo и ReDo – отмена последнего действия и повторение действия.
|
|
|
- Выбор объекта – позволяет выбрать какой-либо узел сети (позицию или переход), от которого будет вестись следующая цепочка переходов-позиций. Может быть использована для перетаскивания позиций или переходов по полю в целях лучшего расположения сети.
- Позиция – при нажатой кнопке следующий щелчок мыши на поле породит новую позицию.
- Переходы (со стрелками вправо, влево, вверх и вниз) – аналогично предыдущей, но щелчок порождает новый переход, направленный соответственно.
- Удаление – удаление какого-либо узла (узлов) сети. При удалении узла вместе с ним удаляются и все дуги, с ним связанные.
5 Кнопки работы с подсетями, полученными при декомпозиции.
- Вся сеть – возврат к исходной сети, от которой произошли все подсети.
- Предыдущая подсеть / Следующая подсеть – просмотр подсетей.
- Декомпозиция – проведение процедуры декомпозиции над текущей сетью. В результате декомпозиции порождаются подсети.
Главное меню содержит пункты, назначение которых перечислено ниже.
1 Файл – содержит стандартный набор пунктов:
- Создать – создание новой сети. Если до этого на поле уже была создана сеть, то будет выведен запрос на ее сохраниение.
- Открыть – позволяет загрузить ранее сохраненную сеть.
- Сохранить – сохранение текущей сети.
- Сохранить как … - сохранение с запросом нового имени сети.
- Выход – выход из программы.
2 Расчет – процедуры, реализующие основные возможности программы:
- Синтез сети Петри по набору правил – при нажатии будет выведено окно редактирования, в которое можно загрузить набор правил, записанных на диск в виде текстового файла, либо создать эти правила заново.
- Логические выражения для позиций – после генерации сети по набору правил позволяет просмотреть логические выражения, соответствующие каждой позиции.
|
|
|
- Построение графа достижимости – если сеть создана и задана начальная маркировка, то эта опция позволяет вывести граф достижимости сети со всеми возможными маркировками. Если маркировок сети (состояний) слишком много, то будет выведено сообщение об этом. В этом случае можно попробовать воспользоваться декомпозицией сети.
- Достижимость маркировок – расчет количества запускаемых переходов, необходимых для достижения второй маркировки от первой.
- Матрица инцидентности – расчет матрицы инцидентности.
- Синтез логических выражений – работает в случае, если задана начальная маркировка. В результате работы выдаются логические выражения для промежуточных величин Ri, а также для управляющих воздействий, указанных в части «тогда/then» правил управления, и для промежуточных величин с учетом выражений для позиций сети (последние выражения находятся только в случае генерации сети по набору правил).
3 Сервис – сервисные функции:
- Матричные вычисления – матричный калькулятор.
- Настройки – настройки программы, позволяющие изменять интерфейс программы.
4 Подсети – работа с подсетями, сгенерированными при декомпозиции:
- Декомпозиция – процедура декомпозиции.
- Разделить части сети – если сеть фрагментирована на несколько не связанных между собой сетей, то для упрощения расчетов и наглядности можно вместо декомпозиции применить эту процедуру.
- Следующая подсеть / Предыдущая подсеть – перемещение по сгенерированным подсетям.
- Вся сеть – возврат к основной сети.
|
|
|
