Главная | Обратная связь | Поможем написать вашу работу!
МегаЛекции

Описание программы PetriNetWork




Исполняемый файл программы Petrinet.exe.

К возможностям программы относятся: построение сети Петри на экране с помощью мыши, синтез сети по заданному набору правил управления вида «если…то…», анализ свойств построенной сети Петри: ограниченности, обратимости, безопасности, живости, правильности, определение пассивных переходов при заданной начальной маркировке, определение класса сети (Автомат, Маркированный граф, Сеть со Свободным Выбором), расчет матрицы инцидентности и др.

 
На главном окне, появляющемся сразу после запуска программы имеются поле для редактирования сети, позволяющее создавать и просматривать сети Петри, главное меню и панель инструментов (рисунок 5).

 

Рисунок 5 – Главное окно программы PetriNetWork

 

На панели инструментов программы имеется набор кнопок, сгруппированных по функциональным признакам. Назначения групп кнопок приведены ниже по порядку, слева направо:

1 Кнопки работы с диском

- Создать новую сеть – очищает поле для рисования или синтеза новой сети;

- Открыть – загрузка сети Петри, заранее сохраненной на диске. При нажатии кнопки на экран выводится диалог открытия файла. По умолчанию расширение файлов данных, в которых сохраняются сети Петри, -.dat, но по желанию оно может быть иным.

- Сохранить – сохранение текущей сети в файле. Если сеть ранее не сохранялась в отдельном файле, то будет запрошено имя нового файла.

2 Кнопки работы с принтером (в демо-версии не работают)

- Печать – вывод текущей сети на принтер,

- Предварительный просмотр – позволяет просмотреть текущую сеть перед печатью.

3 Кнопки UnDo и ReDo – отмена последнего действия и повторение действия.

 
4 Кнопки редактирования сети

- Выбор объекта – позволяет выбрать какой-либо узел сети (позицию или переход), от которого будет вестись следующая цепочка переходов-позиций. Может быть использована для перетаскивания позиций или переходов по полю в целях лучшего расположения сети.

- Позиция – при нажатой кнопке следующий щелчок мыши на поле породит новую позицию.

- Переходы (со стрелками вправо, влево, вверх и вниз) – аналогично предыдущей, но щелчок порождает новый переход, направленный соответственно.

- Удаление – удаление какого-либо узла (узлов) сети. При удалении узла вместе с ним удаляются и все дуги, с ним связанные.

5 Кнопки работы с подсетями, полученными при декомпозиции.

- Вся сеть – возврат к исходной сети, от которой произошли все подсети.

- Предыдущая подсеть / Следующая подсеть – просмотр подсетей.

- Декомпозиция – проведение процедуры декомпозиции над текущей сетью. В результате декомпозиции порождаются подсети.

Главное меню содержит пункты, назначение которых перечислено ниже.

1 Файл – содержит стандартный набор пунктов:

- Создать – создание новой сети. Если до этого на поле уже была создана сеть, то будет выведен запрос на ее сохраниение.

- Открыть – позволяет загрузить ранее сохраненную сеть.

- Сохранить – сохранение текущей сети.

- Сохранить как … - сохранение с запросом нового имени сети.

- Выход – выход из программы.

2 Расчет – процедуры, реализующие основные возможности программы:

- Синтез сети Петри по набору правил – при нажатии будет выведено окно редактирования, в которое можно загрузить набор правил, записанных на диск в виде текстового файла, либо создать эти правила заново.

- Логические выражения для позиций – после генерации сети по набору правил позволяет просмотреть логические выражения, соответствующие каждой позиции.

 
- Анализ сети Петри – анализирует текущую сеть и выводит ее свойства: ограниченность, обратимость, безопасность, живость, правильность, множество пассивных переходов при заданной начальной маркировке, класс сети (Автомат, Маркированный граф, Сеть со Свободным Выбором), а также количество несвязных друг с другом частей.

- Построение графа достижимости – если сеть создана и задана начальная маркировка, то эта опция позволяет вывести граф достижимости сети со всеми возможными маркировками. Если маркировок сети (состояний) слишком много, то будет выведено сообщение об этом. В этом случае можно попробовать воспользоваться декомпозицией сети.

- Достижимость маркировок – расчет количества запускаемых переходов, необходимых для достижения второй маркировки от первой.

- Матрица инцидентности – расчет матрицы инцидентности.

- Синтез логических выражений – работает в случае, если задана начальная маркировка. В результате работы выдаются логические выражения для промежуточных величин Ri, а также для управляющих воздействий, указанных в части «тогда/then» правил управления, и для промежуточных величин с учетом выражений для позиций сети (последние выражения находятся только в случае генерации сети по набору правил).

3 Сервис – сервисные функции:

- Матричные вычисления – матричный калькулятор.

- Настройки – настройки программы, позволяющие изменять интерфейс программы.

4 Подсети – работа с подсетями, сгенерированными при декомпозиции:

- Декомпозиция – процедура декомпозиции.

- Разделить части сети – если сеть фрагментирована на несколько не связанных между собой сетей, то для упрощения расчетов и наглядности можно вместо декомпозиции применить эту процедуру.

- Следующая подсеть / Предыдущая подсеть – перемещение по сгенерированным подсетям.

- Вся сеть – возврат к основной сети.

Поделиться:





Воспользуйтесь поиском по сайту:



©2015 - 2024 megalektsii.ru Все авторские права принадлежат авторам лекционных материалов. Обратная связь с нами...