Details

Title: Построение моделей массового обслуживания в классе стохастических сетей Петри: выпускная квалификационная работа магистра: 09.04.01 - Информатика и вычислительная техника ; 09.04.01_15 - Технологии проектирования системного и прикладного программного обеспечения
Creators: Попсуйко Максим Юрьевич
Scientific adviser: Сиднев Александр Георгиевич
Other creators: Новопашенный Андрей Гелиевич
Organization: Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий
Imprint: Санкт-Петербург, 2019
Collection: Выпускные квалификационные работы; Общая коллекция
Subjects: Математическое моделирование; Петри сети; Массового обслуживания теория; стохастические сети
UDC: 004.75(043.3); 004.94(043.3); 519.872(043.3)
Document type: Master graduation qualification work
File type: PDF
Language: Russian
Speciality code (FGOS): 09.04.01
Speciality group (FGOS): 090000 - Информатика и вычислительная техника
Links: Отзыв руководителя; Рецензия; Отчет о проверке на объем и корректность внешних заимствований
DOI: 10.18720/SPBPU/3/2019/vr/vr19-722
Rights: Доступ по паролю из сети Интернет (чтение, печать, копирование)

Allowed Actions:

Action 'Read' will be available if you login or access site from another network Action 'Download' will be available if you login or access site from another network

Group: Anonymous

Network: Internet

Annotation

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

Document access rights

Network User group Action
ILC SPbPU Local Network All Read Print Download
Internet Authorized users SPbPU Read Print Download
Internet Authorized users (not from SPbPU)
-> Internet Anonymous

Table of Contents

  • ВВЕДЕНИЕ
  • 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. Тестирование генератора файлов имитационных моделей
  • ЗАКЛЮЧЕНИЕ
  • СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ
  • ПРИЛОЖЕНИЕ. ЛИСТИНГИ

Usage statistics

stat Access count: 45
Last 30 days: 1
Detailed usage statistics