Элементы теории графов. Сеть Петри. Конечный автомат
Определение исходного графа графическим, матричным и аналитическим способами. Установление центров и периферийных вершин. Задача о максимальном потоке и потоке минимальной стоимости. Анализ сетей Петри. Элементы математической логики и теории автоматов.
Подобные документы
Предназначение теории сетей Петри для работы с параллельными и асинхронными системами. Определение входного и выходного мультимножества. Графическая форма сетей Петри, композиционный подход к их построению. Способы преобразования простых сетей в цветные.
реферат, добавлен 02.04.2011Понятие о графе. Способы задания, достижимость и обратная достижимость вершин графа. Разбиение графа на подграфы. Решение задачи о максимальном потоке в графе на основе линейного программирования. Кратчайший остов графа. Задача о наименьшем покрытии.
статья, добавлен 15.01.2018Особенность разработки сетей Петри для моделирования систем, которые содержат взаимодействующие параллельные компоненты, а также социальные и биологические системы. Характеристика представления сети Петри в виде графа и в виде структуры сети Петри.
презентация, добавлен 03.05.2023Сети Петри с ингибиторными (запрещающими) дугами. Приоритетные, временные, стохастические, функциональные, автоматные сети Петри, их основные примеры. Цветная или раскрашенная сеть Петри. WF-сети как подкласс называемый также сетями потоков работ.
презентация, добавлен 05.11.2016Увеличение коэффициента использования листового металла. Математический аппарат модифицированных нейро-нечетких сетей Петри. Построение моделей алгоритмов на базе нейро-нечетких сетей Петри. Моделирование механизма приоритетного выбора деловых остатков.
научная работа, добавлен 14.12.2019Исследование класса контекстно-свободных языков строго вкладываемых в класс тупиковых языков вложенных рекурсивных сетей Петри. Изучение алгоритма построения сети, порождающей данный контекстно-свободный язык в сравнении с обыкновенными сетями Петри.
статья, добавлен 17.01.2018Пути повышения эффективности итерационных процессов функционирования нейросетей и их обучения. Представление моделей в виде двухуровневых иерархических структур. Использование аппарата теории графов, теории нейронных сетей, механизма клеточных автоматов.
статья, добавлен 25.05.2017Свойства и виды стандартных схем программ. Моделирование автоматов. Аксиоматическое определение операторов языка программирования. Верификация программ. Теоретические модели вычислительных процессов. Графы сетей Петри, их маркировка и свойства.
методичка, добавлен 03.03.2012Моделирование расписания выполнения программного проекта с помощью сетей Петри. Определение правил перехода от сетевого графика или диаграммы Ганта к сетевой модели Петри. Оценка структуры расписания работ проекта с использованием стохастических сетей.
статья, добавлен 28.01.2020Изучение определений и теорем потока сети, определение сводимости некоторых задач о максимальном потоке. Описание алгоритмов локального и кратчайшего увеличения цепей сети. Метод поразрядного сокращения невязок и Динамические деревья Слейтора-Тарьяна.
реферат, добавлен 22.11.2013Исследование опыта практического применения сетей Петри для моделирования работы сердца. Анализ параллельных процессов взаимодействия гемодинамики и электрической активности сердца. Определение структуры и элементов комбинированной модели сердца.
статья, добавлен 30.01.2017Рассмотрение определения теории графов. Реализация задачи о максимальном потоке в сети с помощью языка программирования C++. Исследование программного алгоритма, предложенного Фордом и Фалкерсоном. Информационный метод расстановки пометок в сети.
курсовая работа, добавлен 18.05.2015Выбор соответствующей структуры данных для представления графа. Идея метода получения правильной раскраски. Поиск минимальной раскраски вершин графа. Использование задачи о наименьшем покрытии при раскраске вершин графа. Потоки в сетях, паросочетания.
курсовая работа, добавлен 11.03.2010Стадии предпроектного обследования. Методология Business Process Management. Характеристика, элементы и свойства сети Петри, правила срабатывания переходов. Понятие конфликта и его разрешения. Пример параллельной работы и построения дерева достижимости.
презентация, добавлен 06.09.2015Использование сети Петри для формализации процессов взаимодействия программных агентов адаптивного пользовательского интерфейса. Преимущества применения подобного подхода для описания сложных динамических процессов взаимодействия компонентов системы.
статья, добавлен 19.01.2018Множественные методы исследования систем. Моделирование и исследование природы сложных систем с помощью сетей Петри. Типовые звенья систем автоматического управления, правила эквивалентных преобразований структурных схем САУ. Алгебра логики; карты Карно.
курсовая работа, добавлен 20.12.2021Проектирование программного продукта, способного помочь студентам в изучении математического аппарата моделирования сетей Петри. Структура и динамическое поведение моделируемой системы. Алгоритм реализации программы. Построение сети вида клиент-сервер.
курсовая работа, добавлен 04.07.2018Характеристика экспоненциального закона распределения наработки до отказа оборудования. Оценка структурной схемы питания собственных нужд электростанции. Составление алгоритма сетевого срабатывания при помощи матричного подхода к анализу сетей Петри.
статья, добавлен 25.10.2016Моделирование систем, логическое описание и анализ. Графическая интерпретация сети Петри как граф особого вида, состоящий из вершин двух типов: позиций и переходов, соединенных ориентированными дугами. Изменение разметки сети при срабатывании переходов.
статья, добавлен 14.07.2016Аналитический обзор моделирования и его методов. Характеристика средств моделирования: PIPE2 20, Petri.Net Simulator 2, DCnet, МСУсП, СPN Tools. Расширение математического аппарата сетей Петри и функционала CPN Tools. Разработка класса нейронной позиции.
дипломная работа, добавлен 04.07.2018Автоматизированное рабочее место диспетчера как программный комплекс, имитирующий функционирование производственного процесса. Перемещение меток по сети Петри - совокупность срабатываний переходов, отображающих смену дискретного состояния системы.
статья, добавлен 04.12.2018Представление адаптивного алгоритма решения задачи о потоке данных минимальной стоимости в статической и динамической постановке. Комбинирование методов эволюционной и альтернативной адаптации. Адаптация процесса передачи данных к предлагаемым параметрам.
статья, добавлен 30.07.2017Исследование сущности теории классических клеточных автоматов (КА). Дискретные параллельные динамические системы в кибернетике. Проблема сложности конфигураций и глобальных функций перехода в клеточных автоматах. Размещение базовых элементов процессора.
книга, добавлен 03.08.2019Детерминированное поведение, однозначные результаты тестирования и простая диагностика - основные преимущества при использовании программ на основе теории конечных автоматов. Характеристика структурной модели для программной реализации автомата Мура.
статья, добавлен 27.06.2016Набор UML-диаграмм и свойств сети Петри с целью обеспечения надежности функционирования многопоточного программного обеспечения с ограниченными разделяемыми ресурсами. Разработка программных решений для повышения производительности моделирования программ.
автореферат, добавлен 02.08.2018