Конструктор сетей

Конструктор сетей позволяет пользователю производить сборку сети из нескольких фрагментов ранее созданных сетей. Для чтения с диска нескольких фрагментов сети необходимо выбрать подпункт "Добавить" пункта "Файлы" главного меню окна редактирования или продублировать фрагмент уже прочитанной сети через Clipboard. При этом программа загрузит сеть с указанного пользователем диска и вызовет процесс размещения сети на экране.

 

После чтения с диска всех необходимых фрагментов сети и их размещения на экране пользователь вызывает конструктор сетей для сборки сети. Конструктор вызывается выбором подпункта "Сборка сети" пункта "Файлы" главного меню окна редактирования. Окно конструктора предназначено для установления связей между позициями различных фрагментов сети и последующей сборки сети, которая производит объединение указанных пользователем позиций сети.

Окно конструктора сети содержит два списка позиций "Вход" и "Выход", кнопки "Список", "Сброс" и "Соединить/Отсоединить", а также кнопки управления и кнопку "Подсказка". Окно выглядит следующим образом:

 

В списках для каждой позиции отображается следующая информация:

· порядковый номер позиции в сети;

 

· порядковый номер позиции во фрагменте сети, к которому она относится;

· порядковый номер и название фрагмента сети (номера фрагментов даются в том порядке, в котором пользователь читает их из файла, а названия соответствуют именам файлов, из которых фрагменты были прочитаны);

· значок "->N", если позиция уже подсоединена пользователем к другой позиции (где N - номер этой позиции).

· значок "<-...", если к данной позиции уже подсоединены одна или несколько других позиций.

 

И в список "Вход", и в список "Выход" могут быть помещены как входные, так и выходные позиции сети по желанию пользователя, что определяется переключателями, расположенными наверху списков. Это сделано потому, что конструктор сетей позволяет установить связь только между одной позицией "Входа" и одной или несколькими позициями "Выхода", в то время как сборка сетеи Петри может предусматривать как объединение нескольких входов (входных позиций), так и нескольких выходов (выходных позиций) в одну позицию. Устанавливая переключатели списков пользователь может сам выбрать требуемый режим. (Если и этого недостаточно, то объявите все позиции и входными, и выходными, включите все переключатели, и Вы можете производить объединение любых позиций между собой).

 

Кнопка "Соединить/Отсоединить" расположена в области списка "Выход" и предназначена для выполнения соединения или отсоединения для текущей позиции этого списка. Причем текст на кнопке соответствует тому действию, которое может быть выполнено над текущей позицией. Если текст на кнопке "Соединить", то при нажатии на нее текущая позиция списка "Выход" подсоединяется к текущей позиции списка "Вход". Если же текст - "Отсоединить", то при нажатии на кнопку текущая позиция списка "Выход" отсоединяется от той позиции, к которой она была ранее подсоединена пользователем, при этом если та позиция находится в списке "Вход", то она становится текущей.

 

Кнопка "Список" расположена в области списка "Вход" и позволяет пользователю просмотреть список всех позиций, уже подсоединенных к текущей позиции списка. При нажатии на эту кнопку на экране появляется окно "Список соединений", в котором показаны все позиции, подсоединенные к данной по их номерам. В этом окне пользователь может выделить одну, несколько или все подсоединенные позиции, отсоединить выбранные позиции, очистить весь список. При нажатии на кнопку "Да" окно "Список соединений" закрывается и изменения вносятся в окно конструктора, при нажатии на кнопку "Отмена" все действия пользователя в окне "Список соединений" отменяются и никаких изменений не происходит.

 

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

Кнопка "Сброс" находится в области кнопок управления окна конструктора. При нажатии на нее отменяются все сделанные пользователем соединения между позициями.

 

Кнопки управления "Сборка" и "Отмена" расположены в правой части окна конструирования. При нажатии на кнопку "Сборка" выполняется процесс сборки сети, после чего окно конструктора закрываютнтся, а все необходимые изменения вносятся в сеть в окне редактирования; при нажатии на кнопку "Отмена" окно редактирования закрывается без каких-либо изменений в сети.

 

Моделирование позволяет осуществлять процесс функционирования сети. Для управления процессом функционирования предназначен пункт меню "Модель". Пункт меню Модель включает в себя следующие подпункты:

· Запустить;

 

· Состояние;

· Статистика;

· Режим.

Данный пункт позволяет пользователю управлять моделированием, следить за функционированием сети и определять тот набор информации, который будет выдаваться на экран в процессе функционирования. Информация о функционировании сети может выдаваться в окно редактирования, в окно моделирования и в окно статистики.

Окно редактирования сети всегда находится на экране, занимая большую его часть. В окне редактирования отображается в графическом виде вводимая пользователем сеть Петри. Также в окне редактирования отображаются фрагменты сетей при их размещении на экране после считывания из файла или с Clipboard. В окне может помещаться только некоторая часть сети. Для просмотра всей сети (при ее значительном объеме) окно снабжено вертикальной и горизонтальной полосами прокрутки.

 

В окне редактирования отображаются переходы и позиции сети:

 

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

 

При построении сети пользователь сам отвечает за удобное и наглядное расположение ее элементов. При необходимости вся сеть может быть перемещена по экрану. Для этого нужно выбрать подпункт "Общий вид сети" пункта "Поиск" в меню.

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

 

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

Окно размещения сети на экране позволяет производить перемещение по экрану фрагментов сети, а также дает представление об общем виде сети.

В окне в общем виде изображаются фрагменты сети (один или два), один из которых представляет собой сеть, уже находящуюся в памяти программы, а второй, если он есть, - добавляемый к этой сети. Фрагменты выделяются прямоугольниками из пунктирных линий. Оба фрагмента изображаются в одном масштабе, который подбирается программой так, чтобы на экране могли поместиться оба фрагмента. Для изменения масштаба необходимо изменить размеры окна. Окно имеет вертикальную и горизонтальную полосы прокрутки, которые позволяют в данном масштабе просмотреть все допустимое поле графического ввода.

 

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

По нажатию кнопки Да оба фрагмента помещаются в установленные позиции на экране, второй фрагмент сети (если он есть) добавляется к первому и из двух фрагментов компонуется единая сеть.

 

По нажатию кнопки Отмена первый фрагмент сети помещается обратно в исходное положение, второй (если он есть) удаляется и компоновка новой сети не производится.

Окно режима моделирования открывается при выборе подпункта Режим пункта Модель в меню. В данном окне пользователь может установить, как будет проходить процесс функционирования сети и какая информация при этом будет выдаваться. Окно содержит две панели Показывать и Останов, кнопки Да, Отмена и Подсказка.

Панель Останов позволяет определить, какая информация будет отображаться в окне моделирования и окне редактирования. Ее переключатели означают следующее:

 

· Окно запуска - если данный переключатель включен, в окне моделирования выдается информация о состоянии процесса моделирования после запуска всех переходов, которые могут быть запущены (в начале такта моделирования);

 

· Окно завершения - если данный переключатель включен, в окне моделирования выдается информация о состоянии процесса моделирования после завершения всех переходов, которые могут быть завершены (в конце такта моделирования);

· Активные переходы - если данный переключатель включен, то при выдаче информации в окне моделирования показывается состояние очереди активных переходов;

· Блокированные переходы - если данный перключатель включен, то при выдаче информации в окне моделирования показывается состояние очереди блокированных переходов;

 

· Маркировку позиций - если данный переключатель включен, то при выдаче информации в окне моделирования показывается текущая маркировка;

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

Панель Останов позволяет установить по каким событиям происходит остановка процесса моделирования. Его переключатели имеют следующее значение:

 

· По такту - данный переключатель устанавливает режим остановки моделирования по достижению указанного пользователем такта;

 

· По времени - данный переключатель устанавливает режим остановки моделирования по достижению заданного значения модельного времени; так как время в сети изменяется по наступлению событий, то модельное время может либо равняться заданному значению, либо же превышать его; данный пункт запрещен для сетей без учета времени;

· По запуску перехода - данный переключатель устанавливает, что процесс моделирования останавливается всякий раз после того, как будут активизированы все переходы, которые могут стать активными (в начале такта моделирования);

 

· По завершению перехода - данный переключатель устанавливает, что процесс моделирования останавливается всякий раз после того, как будут завершены все переходы, которые могут завершиться (в конце такта моделирования);

· Тактирование - если данный переключатель включен, то для сетей без учета времени на шаге запуска активизируются все переходы, которые могут активизироваться, иначе активизируется только первый по номеру переход, который может активизироваться и шаг запуска заканчивается; переключатель запрещен для сетей с учетом времени.

 

При нажатии кнопки Да устанавливается заданный режим моделирования. При этом если идет процесс функционирования сети, то в нем происходит смена режима моделирования.

При нажатии кнопки Отмена никаких изменений не происходит.

Выбранный пользователем режим моделирования может быть сохранен в файл вместе с сетью. Для этого необходимо установить соответствующую опцию файлов.