Разновидности сетей Петри
Сети Петри с ингибиторными (запрещающими) дугами. Приоритетные, временные, стохастические, функциональные, автоматные сети Петри, их основные примеры. Цветная или раскрашенная сеть Петри. WF-сети как подкласс называемый также сетями потоков работ.
Подобные документы
Исследование класса контекстно-свободных языков строго вкладываемых в класс тупиковых языков вложенных рекурсивных сетей Петри. Изучение алгоритма построения сети, порождающей данный контекстно-свободный язык в сравнении с обыкновенными сетями Петри.
статья, добавлен 17.01.2018Моделирование систем, логическое описание и анализ. Графическая интерпретация сети Петри как граф особого вида, состоящий из вершин двух типов: позиций и переходов, соединенных ориентированными дугами. Изменение разметки сети при срабатывании переходов.
статья, добавлен 14.07.2016Предназначение теории сетей Петри для работы с параллельными и асинхронными системами. Определение входного и выходного мультимножества. Графическая форма сетей Петри, композиционный подход к их построению. Способы преобразования простых сетей в цветные.
реферат, добавлен 02.04.2011Параллельное вычисление, проектирование программного обеспечения и моделировании бизнес-процессов при помощи математического аппарата сети Петри. Реализация возможностей добавления элементов сети, позиций, переходов, их изменение, удаление и рисование.
курсовая работа, добавлен 19.01.2017Использование сети Петри для формализации процессов взаимодействия программных агентов адаптивного пользовательского интерфейса. Преимущества применения подобного подхода для описания сложных динамических процессов взаимодействия компонентов системы.
статья, добавлен 19.01.2018Проектирование программного продукта, способного помочь студентам в изучении математического аппарата моделирования сетей Петри. Структура и динамическое поведение моделируемой системы. Алгоритм реализации программы. Построение сети вида клиент-сервер.
курсовая работа, добавлен 04.07.2018Автоматизированное рабочее место диспетчера как программный комплекс, имитирующий функционирование производственного процесса. Перемещение меток по сети Петри - совокупность срабатываний переходов, отображающих смену дискретного состояния системы.
статья, добавлен 04.12.2018Моделирование расписания выполнения программного проекта с помощью сетей Петри. Определение правил перехода от сетевого графика или диаграммы Ганта к сетевой модели Петри. Оценка структуры расписания работ проекта с использованием стохастических сетей.
статья, добавлен 28.01.2020Анализ принципов построения модели сети Петри, используемой при моделировании аппаратного и программного обеспечение ЭВМ. Характеристика графического представления рассматриваемых сетей и их маркировка. Оценка последовательности дискретных событий.
лекция, добавлен 18.10.2013Увеличение коэффициента использования листового металла. Математический аппарат модифицированных нейро-нечетких сетей Петри. Построение моделей алгоритмов на базе нейро-нечетких сетей Петри. Моделирование механизма приоритетного выбора деловых остатков.
научная работа, добавлен 14.12.2019Характеристика параллельных распределительных систем в вычислительных процессах. Применение компонентной сети Петри, используя бисимуляционную эквивалентность полученных моделей Крипке. Методы и способы спецификации и верификации параллельных процессов.
научная работа, добавлен 28.02.2016Определение исходного графа графическим, матричным и аналитическим способами. Установление центров и периферийных вершин. Задача о максимальном потоке и потоке минимальной стоимости. Анализ сетей Петри. Элементы математической логики и теории автоматов.
контрольная работа, добавлен 11.10.2013Стадии предпроектного обследования. Методология Business Process Management. Характеристика, элементы и свойства сети Петри, правила срабатывания переходов. Понятие конфликта и его разрешения. Пример параллельной работы и построения дерева достижимости.
презентация, добавлен 06.09.2015Характеристика экспоненциального закона распределения наработки до отказа оборудования. Оценка структурной схемы питания собственных нужд электростанции. Составление алгоритма сетевого срабатывания при помощи матричного подхода к анализу сетей Петри.
статья, добавлен 25.10.2016Анализ модели организации взаимодействия клиентов и распределенной базы данных. Обоснование выбора трехуровневой модели. Построение модели распределенной системы с двумя серверами приложений на основе сети Петри-Маркова, этапы выполнения действий.
статья, добавлен 06.07.2013Описание традиционного подхода к передаче данных и модификации с целью шифрования передаваемой информации. Приведение общей сети Петри для получения и передачи данных, установления соединения и обмена данными. Подход к моделированию защищенной передачи.
статья, добавлен 30.01.2019Аналитический обзор моделирования и его методов. Характеристика средств моделирования: PIPE2 20, Petri.Net Simulator 2, DCnet, МСУсП, СPN Tools. Расширение математического аппарата сетей Петри и функционала CPN Tools. Разработка класса нейронной позиции.
дипломная работа, добавлен 04.07.2018Теория распознавания образов, основные понятия. Оптимизация алфавита классов и словаря признаков. Построение продукционной системы, диагностирующей миому матки и внутренний эндометриоз. Практическое применение продукционной модели, алгоритм сети Петри.
курсовая работа, добавлен 05.02.2016Понятия, особенности построения и преобразования праволинейной и автоматной грамматик, их правила и вид. Определение недетерминированного конечного автомата. Аспекты приведения к детерминированному виду и минимизация состояний. Изображение сети Петри.
курсовая работа, добавлен 24.04.2009Разработка метода проектирования программных моделей протоколов передачи данных. Разработка алгоритма разметки раскрашенной сети Петри для осуществления верификации архитектурных диаграмм программных моделей. Метод построения раскрашенной сети Петри.
автореферат, добавлен 02.12.2017Набор UML-диаграмм и свойств сети Петри с целью обеспечения надежности функционирования многопоточного программного обеспечения с ограниченными разделяемыми ресурсами. Разработка программных решений для повышения производительности моделирования программ.
автореферат, добавлен 02.08.2018Исследование опыта практического применения сетей Петри для моделирования работы сердца. Анализ параллельных процессов взаимодействия гемодинамики и электрической активности сердца. Определение структуры и элементов комбинированной модели сердца.
статья, добавлен 30.01.2017Свойства и виды стандартных схем программ. Моделирование автоматов. Аксиоматическое определение операторов языка программирования. Верификация программ. Теоретические модели вычислительных процессов. Графы сетей Петри, их маркировка и свойства.
методичка, добавлен 03.03.2012Множественные методы исследования систем. Моделирование и исследование природы сложных систем с помощью сетей Петри. Типовые звенья систем автоматического управления, правила эквивалентных преобразований структурных схем САУ. Алгебра логики; карты Карно.
курсовая работа, добавлен 20.12.2021Проектирование сервиса автоматизированной среды на радиоэлектронных предприятиях. Построение схемы информационного обмена. Внедрение протоколов взаимодействия открытых систем. Моделирование взаимодействия объектов среды на основе аппарата сетей Петри.
творческая работа, добавлен 24.08.2020