Сети Петри

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

Подобные документы

  • Основи використання методів класичного скінченновимірного аналізу для розв’язання задачі керовансті для сімей лінійних трикутних систем Вольтерра. Розгляд повної керованості рівномірно обмежених збурень класів систем за умови глобальної ліпшіцевості.

    автореферат, добавлен 20.04.2014

  • Понятие и классификация динамических систем. Исследование кривых, определяемых дифференциальными уравнениями. Линейный анализ устойчивости динамических систем. Математический анализ бифуркации "двукратное равновесие". "Мягкие" и "жесткие" бифуркации.

    курсовая работа, добавлен 03.10.2017

  • Проектирование информационных систем на основе графовых моделей. Анализ связей между элементами и множествами модели ИС в аспекте применения инвариантов теории графов. Использование соответствия Галуа при анализе системных связей информационных моделей.

    статья, добавлен 24.07.2018

  • Определение термина "ранг матрицы". Применение элементарного преобразования и приведение матрицы к трапецеидальному виду. Совместимость систем линейных уравнений, описание теоремы Кронекера-Капелли. Решение систем линейных уравнений методом Гаусса.

    контрольная работа, добавлен 09.07.2015

  • Определение возможностей применения точного линейного эквивалента по Бруновскому для решения задачи управления нелинейным объектом с помощью управления релейного типа. Сущность и отличительные черты математической модели объекта для аффинных систем.

    статья, добавлен 26.02.2013

  • Рассмотрение решения уравнений с двумя переменными, систем уравнений, методов решения систем, таких как метод подстановки, сложения, графический, метод введения новых переменных, определителей второго и третьего порядков и теоремы Кронекера-Капеллы.

    научная работа, добавлен 25.02.2014

  • Аналіз поведінки динамічних систем та визначення напрямків їх удосконалення. Розробка моделей дискретних коливних систем з широким діапазоном динамічних режимів. Створення швидкодіючих та стійких до збурень моделей. Виявлення передбачуваних режимів.

    автореферат, добавлен 26.02.2015

  • Анализ особенностей решения систем линейных и нелинейных уравнений большой размерности. Изучение особенностей использования диакоптических методов для разработки более эффективных алгоритмов и новых параллельных многопроцессорных вычислительных систем.

    статья, добавлен 18.11.2018

  • Дослідження динаміки нечітких систем за допомогою нечітких множин з нечіткою початковою інформацією, результати якого можуть бути використані для розв'язання багатьох математичних задач динаміки та прийняття рішення. Різницеві моделі динамічних систем.

    автореферат, добавлен 29.08.2014

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

    курсовая работа, добавлен 21.10.2019

  • Нахождение определителя матрицы. Решение систем матричным способом. Решение алгебраических дополнений. Решение системы уравнений методом Гаусса. Исследование совместности систем по теореме Кронекера-Капелли, определение их ранга, нахождение решения.

    контрольная работа, добавлен 20.12.2016

  • Изучение свойств множеств, полученных в результате выполнения рандомизированных систем итерированных линейных функций. Выполнение усиленного неравенства треугольника. Определение ультраметрики, что делает очевидным многие фрактальные свойства аттрактора.

    статья, добавлен 28.11.2016

  • Анализ сущности синтеза систем автоматического управления как определения состава, структуры системы, параметров ее устройств и технических средств реализации. Изучение методов синтеза, процесса создания, схемы синтеза систем автоматического управления.

    реферат, добавлен 23.07.2015

  • Определение минора k-го порядка матрицы. Использование методов окаймляющих миноров и элементарных преобразований для вычисления ее ранга. Линейная зависимость строк (столбцов) математических таблиц. Исследование систем линейных алгебраических уравнений.

    презентация, добавлен 29.08.2015

  • Исследование сущности и содержания теории систем, системного подхода и анализа, которые составляют важнейшее достижение методологии ХХ ст. История возникновения системных идей, понятия теории систем, технология и главные этапы проведения анализа.

    учебное пособие, добавлен 05.09.2013

  • Розробка нового підходу для дослідження паралельності алгоритмів розв'язання матричних систем. Розгляд особливостей ланцюгового та централізованого способів передачі інформації, а також схем діагоналізації та розрізання розв'язання матричних систем.

    статья, добавлен 25.10.2018

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

    статья, добавлен 20.08.2018

  • Методика параметричної оптимізації за критерієм якості, що є функцією максимуму за початковими умовами від кінцевого стану на розв’язках систем зі зміною вимірності фазового простору. Оцінка стійкості динамічних систем з постійно діючими збуреннями.

    автореферат, добавлен 29.09.2015

  • Розробка математичних моделей лінійних систем на базі рівнянь типу згортки та сингулярних інтегральних рівнянь. Рішення задачі відновлення імпульсної характеристики для рівняння згортки. Оцінка розмірності ядер операторів та побудови чисельних рішень.

    автореферат, добавлен 17.07.2015

  • Описание процесса передачи информации с помощью математических моделей в рамках теории массового обслуживания. Рассмотрение однородных открытых сетей массового обслуживания. Содержание и доказывание теоремы Джексона для сетей массового обслуживания.

    реферат, добавлен 03.05.2021

  • Элементы теории графов и комбинаторики. Использование в доказательстве теоремы Кэли. Разбиение и композиции натуральных чисел. Изучение работ венгерского математика Кенинга в 30-е годы XX столетия по математической дисциплине теории графов и элементов.

    курсовая работа, добавлен 23.12.2020

  • Обозначение различных гиперкомплексных числовых систем. Особенности синтезирования алгоритмов быстрого вычисления циклической свертки числовых массивов длиной 2П с пониженным количеством вещественных операций. Структура и формализация алгоритмов.

    статья, добавлен 30.08.2016

  • Аналіз повної інтегрованості інверсних нелінійних динамічних систем на функціональних многовидах. Побудова та симплектичний аналіз скінченновимірних редукцій на локальні інваріантні підмноговиди бігамільтонових динамічних систем, аналіз їх інтегрованості.

    автореферат, добавлен 28.09.2014

  • Використання методу усереднення для вивчення розв'язності крайових задач для деяких класів нелінійних систем звичайних диференціальних рівнянь з повільними та швидкими рухами. Теорія нелінійних коливань. Математична теорія багаточастотних систем.

    автореферат, добавлен 20.04.2014

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

    статья, добавлен 21.03.2016

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу и оценить ее, кликнув по соответствующей звездочке.