Petri nets Emulator

Руководство пользователя

  1. Запуск


    2. Рис.1. Интерфейс программы

     

  2. Создание новой модели сети

    3. 2.1  Создать новый файл можно такими способами:

     

    2.2  Добавить позицию можно такими способами:

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

     

    2.3  Добавить мгновенный переход можно такими способами:

    После чего нажать левой клавишей мыши на желаемое место в рабочей области. Переходы нумеруются автоматически.

     

    2.4  Добавить временной переход можно такими способами:

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

     

    2.5  Добавить линию связи (дугу) можно такими способами:

     

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

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

    Рис.2. Программа с набранной моделью сети Петри.

     

  3. Работа с файлами

    4. 3.1  Открыть уже существующий можно такими способами:

     

    3.2  Сохранить уже существующий можно такими способами:

     

    3.3  Экспортировать изображение набранной модели в файл .png можно такими способами:

     

    3.4  Закрыть редактирование текущего файла можно такими способами:

     

    3.5  Выйти из программы можно такими способами:

     

  4. Редактирование

    5. 4.1  Отменить предыдущее действие можно такими способами:

     

    4.2  Повторить отмененное действие можно такими способами:

     

  5. Таблицы описания

    6. Таблицами описания являются матрицы входов-переходов Di, матрицы выходов-переходов Dq, вектора начальной маркировки и вектор интенсивности переходов (λ)

    Матрицы достижимости можно посмотреть во вкладке Descriptive Tables

     

  6. Построение дерева достижимости

    7. Для построения дерева достижимости следует открыть уже готовую или набрать новую модель сети.

    1.1 Открыть таблицу достижимости можно на вкладке Transitions Table, где указаны слева-направо:

    Рис.3. Таблица достижимости в программе

     

    1.2  Открыть дерево достижимости можно на вкладке Reachability Graph, где изображено дерево достижимости сети. При чем, цвет вершин обозначает их тип, таким образом:

    Рис.4. Дерево достижимости в программе

     

  7. Построение Марковского графа

    8. Для построения Марковского графа достижимости следует открыть уже готовую или набрать новую модель сети.

    Рис.5. Марковский граф в рабочей области приложения

     

  8. Моделирование сетей Петри

    9. Для моделирования необходимо открыть готовую или создать новую модель, выставить её параметры:

    Для наблюдения за эмуляцией стоит перейти на вкладку Emulating.

     

    1 Запуск моделирования

    1.1 Запустить эмуляцию на одно событие можно так:

     

    1.2 Запустить эмуляцию на N событий можно так:

    В открывшемся диалоге следует задать количество событий.

     

    1.3 Запустить эмуляцию на время T можно так:

    В открывшемся диалоге следует задать время в мс.

     

    1.4 Сбросить эмуляцию можно так:

    В таком случае эмуляция прекратиться, а модель будет сброшена до начальной маркировки.

     

    2. Наблюдение за моделированием

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

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

     

    3.  Статистика моделирования

    Вся статистика представлена во вкладке Emulation Table, которая заполняется в процессе моделирования.

    3.1 Таблица результатов эмуляции содержит поля:

     

    3.2 Таблица статистики маркировок содержит поля:

     

    3.3 Таблицы частоты и вероятности переходов между маркировками содержат поля:

     

    3.4 Вектор состояния эмуляции содержит поля:

     

    4.  Гистограммы

     

  9. Справка и дополнительная информация

    10. Руководство пользователя можно увидеть такими способами:

     

    Лицензионное соглашение можно прочесть такими способами:

     

    О программе и авторах можно прочесть такими способами: