Руководство к лабораторной работе «Изучение возможностей сетей ПЕТРИ для моделирования бизнес–процессов», страница 11

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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