Электронная библиотека диссертаций и авторефератов России
dslib.net
Библиотека диссертаций
Навигация
Каталог диссертаций России
Англоязычные диссертации
Диссертации бесплатно
Предстоящие защиты
Рецензии на автореферат
Отчисления авторам
Мой кабинет
Заказы: забрать, оплатить
Мой личный счет
Мой профиль
Мой авторский профиль
Подписки на рассылки



расширенный поиск

Развитие методов анализа сетей Петри для распределенных систем Нгуен Нгок Тхуан

Диссертация, - 480 руб., доставка 1-3 часа, с 10-19 (Московское время), кроме воскресенья

Автореферат - бесплатно, доставка 10 минут, круглосуточно, без выходных и праздников

Нгуен Нгок Тхуан. Развитие методов анализа сетей Петри для распределенных систем : диссертация ... кандидата физико-математических наук : 05.13.16.- Москва, 1997.- 133 с.: ил. РГБ ОД, 61 98-1/272-9

Введение к работе

Актуальность проблемы. Развитие теории сетей Петри проводилось по двум направлениям. Прикладная теория сетей Петри связана главным образом с применением сетей Петри к моделированию систем, их анализу и получающимся п результате этого глубоким проникновением в моделируемые системы. Это требует хорошего знания предметной области применения, сетей Петри и методов теории сетей Петри. Чистая теория сетей Петри занимается разработкой основных средств, методов и понятий, необходимых для применения сетей Петри, для чего необходим прочный теоретический фундамент.

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

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

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

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

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

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

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

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

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

4. Разработать алгоритмы анализа сетей Петри для распределенных
систем.

Методы исследования. Исследования осуществлялись на основе: теории сетей Пстрн; теории алгоритмов; теории формальных грамматик и языков; формальной, предикатной логики; теории множеств.

На защиту выносятся результаты автора, имеющие научную новизну.

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

  2. Для класса сетей (без самоконкурирующих процессов) получены необходимые и достаточные условия, при которых сеть-процесс однозначно восстанавливается по заданной последовательности срабатываний переходов.

3. Введено описание формализма распределенной системы
вычисления в виде временной алгебры взаимодействующих процессов
сети Петри на основе предложенной размеченной переходной системы
без буферизации информации.

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

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

Класс распределенных систем включает в себя не только вычислительные системы, но и распределенные системы управления в различных предметных областях.

Внедрение результатов работы. Результаты диссертационной работы использованы при выполнении НИР "Разработка теории сетей Петри в распределенных системах информации" (Институт информатики,

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

Апробация работы. Основные результаты работы докладывались на:

- Международном семинаре по информационным технологиям
(Таиланд, 1990 г.);

- Международной конференции по моделированию распределенных
вычислительных систем (Польша, 1992 г.);

- Международной конференции по логическому управлению с
использованием ЭВМ (Россия, 1993 г.), на научных семинарах МГУ
факультета БМК, кафедрах высшей математики и вычислительных машин
МГГУ, института информатики (Ханой).

Публикации: Основное содержание работы отражено в 3 публикациях.

Объем и структура диссертации. Диссертация состоит из введения,
3 глав и заключения. Она содержит страниц машинописного

текста, включает рисунков и список литературы из 27

наименований.

Похожие диссертации на Развитие методов анализа сетей Петри для распределенных систем