Анализ дискретных параллельных систем на основе графа условно-достижимых состояний F-сетевых моделей

• Автор: Беленко, Вячеслав Сергеевич
• Шифр специальности: 05.13.11
• Научная степень: Кандидатская
• Год защиты: 1999
• Место защиты: Санкт-Петербург
• Количество страниц: 120 с.

1. Анализ дискретных параллельных систем

1.1 Основные подходы к моделированию дискретных параллельных

систем

1.2 Применение аппарата сетей Петри для имитационного

моделирования дискретных параллельных систем.

1.3 Анализ дискретных параллельных систем на базе классического

формализма сетей Петри.

1.4 Анализ расширений формализма сетей Петри

1.5 Подходы к анализу Рсетевых моделей.

2. Анализ Рсетевых моделей с помощью графа условно

достижимых состояний.

2.1 Постановка задачи имитационного моделирования с помощью
аппарата сетей Петри.
2.2 Формальное описание Рсетей.
2.3 Существующий метод построения графа достижимости Рсети
и его недостатки.
2.4 Граф условно достижимых состояний Рсети
2.5 Алгоритм построения графа условно достижимых состояний
2.6 Анализ свойств модели с помощью графа условно достижимых
состояний
3. Программная реализация алгоритмов моделирования
и анализа систем с параллельными процессами с помощью аппарата Рсетей
3.1 Машинное представление структур данных Рсетевых моделей
3.2 Реализация алгоритма имитационного моделирования на основе
Рсетей
3.3 Реализация алгоритма построения дерева достижимости для
Рсетевой модели.
3.4 Реализация алгоритма построения графа условно достижимых
состояний для Рсетевой модели
3.5. Анализ Рсетевых моделей с помощью графа условно
достижимых состояний на примере системы обработки речевых сигналов.
Заключение.
Литература


Переходы обычно отождествляются с процессами, действиями, которые происходят в моделируемой системе, а позиции с теми событиями условиями, ситуациями, при которых могут быть реализованы интересующие нас процессы. Появление маркера в позиции говорит о том, что соответствующее ей частное условие выполнено. Вектор, описывающий количество маркеров в каждой позиции сети, называется ее маркировкой. Таким образом, сети Петри формализуют понятие абстрактной асинхронной системы динамической структуры из событий и условий. Формально сеть Петри может быть определена как двойка МО,М0. Здесь О это структура сети, которая представляется двудольным ориентированным графом, М0 начальное состояние сети, которое также называется начальной маркировкой. В силу того, что граф О является двудольным, он может быть описан в виде тройки 0Р,Т,У. Здесь Р конечное множество позиций, Т конечное множество переходов, У конечное множество дуг, заданное отношениями между вершинами графа в УеРхТиТхР. Поскольку
граф в является ориентированным, то любой переход соединяется с какимилибо позициями р через входные и выходные дуги, которые задаются через соответственно входную функцию 1ТхРЫ и выходную функцию 0ТхРЫ. Существуют и другие определения сетей Петри, эквивалентные данному определению , , . Позиции отображаются окружностями, а переходы вертикальными линиями или прямоугольниками. Маркировка сети отображается наличием некоторого числа меток маркеров в окружностях соответствующих позиций, а функционирование сети перемещением маркеров по позициям сети. Наличие достаточно простой и удобной формы графического представления модели значительно способствовало распространению аппарата сетей Петри. Петри.