Details

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

The paper solves the problem of automatic generation of an executable simulation model of a queuing network (QN) according to its formalized description. The generated QN simulation model is intended for the execution in the environment of a simulation system of stochastic Petri nets. The possibility of a formal transition from a formalized description of the QN to a formalized description of the Petri net is shown. A software package has been developed, which includes the QN task editor and the generator program for the executable file of the CPN tools package.

• ВВЕДЕНИЕ
• 1. Анализ проблемы моделирования систем массового обслуживания
  • 1.1. Сети систем массового обслуживания - эффективный формализм представления объектов
  • 1.2. Постановка задачи
• 2. ФОРМАЛИЗМ СЕТЕЙ ПЕТРИ ДЛЯ МОДЕЛИРОВАНИЯ СЕТЕЙ СМО
  • 2.1. Разомкнутая сеть СМО
  • 2.2. Замкнутая сеть СМО
  • 2.3. Замкнутая сеть СМО с размножением заявок
• 3. Выбор пакета моделирования для моделирования сетей Петри
  • 3.1. Анализ систем имитационного моделирования сетей Петри
  • 3.2. QPME
    • 3.2.1. Сети Петри с очередями
    • 3.2.2. Описание пакета моделирования QPME
  • 3.3. CPN Tools
    • 3.3.1. Представление сетей Петри в редакторе пакета CPN
    • 3.3.2. Способ создание задержек, моделирующих время обслуживания в CPN сетях
    • 3.3.3. Язык описания цветных сетей Петри CPN ML
    • 3.3.4. Cредства анализа производительности в CPN Tools
    • 3.3.5. Краткое описание интерфейса CPN Tools
    • 3.3.6. Анализ сетей Петри в CPN Tools
    • 3.3.7. Симуляция в CPN Tools
    • 3.3.8. Симуляция временной сети Петри
    • 3.3.9. Модификация XML-файла
• 4. Разработка генератора файлов имитационных моделей
  • 4.1. Выбор среды для редактирования и построения сети СМО
  • 4.2. Обзор редактора Msagl
    • 4.2.1. Исследование архитектуры редактора Msagl
    • 4.2.2. Обзор редактора Msagl и его возможностей
    • 4.2.3. Модификация редактора Msagl
    • 4.2.4. Добавление возможности задания СМО в виде матрицы
  • 4.3. Реализация автоматизированного перехода от формализма сетей СМО к имитационной модели сетей Петри
• 5. Тестирование
  • 5.1. Тестирование доработанного редактора Msagl
  • 5.2. Тестирование генератора файлов имитационных моделей
• ЗАКЛЮЧЕНИЕ
• СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ
• ПРИЛОЖЕНИЕ. ЛИСТИНГИ