Цель и актуальность работы
Цель: разработка и демонстрация алгоритма параллельного объединения массивов с одновременной сортировкой и удалением дубликатов с использованием сетей Петри.
Актуальность:
•Необходимость разработки и тестирования алгоритмов для параллельных систем.
•Сети Петри позволяют моделировать системы с параллельными компонентами.
Практическая ценность: переход словесного описания к формальной исполняемой модели.
2
Модель поиска пути в лабиринте
Основные этапы модели:
1.Инициализация системы:
•Исходные массивы данных (a0-a3, b0-b2) в виде фишек
•Переходы инициализации (t0-t6) для передачи элементов
•Общая позиция add - точка входа в бинарное дерево поиска 2.Параллельный поиск:
•Элементы последовательно сравниваются с узлами дерева
•Три варианта обработки в зависимости от результата сравнения
•Распределение элементов по левым и правым потомкам 3.Завершение:
•Все элементы обработаны и распределены по дереву
•Модель готова к извлечению результата
3
Реализация в CPN Tools
Уровень 1 - Массивы данных и инициализация:
Места a0-a3, b0-b2 - исходные массивы Переходы t0-t6 - инициализация элементов Общее место add - вход в бинарное дерево
Уровень 2 - Логика бинарного дерева поиска:
Позиция arr - текущий узел для сравнения Переходы del, t0, t1 - обработка элементов Места left#, right# - левые и правые потомки
Контактная информация:
ВКонтакте: vk.com/ne_lenya Telegram: t.me/ne_lenya