Table | Card | RUSMARC | |
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 | |||||
Internet | Authorized users 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
Access count: 51
Last 30 days: 0 Detailed usage statistics |