Разновидности сетей Петри
Сети Петри с ингибиторными (запрещающими) дугами. Приоритетные, временные, стохастические, функциональные, автоматные сети Петри, их основные примеры. Цветная или раскрашенная сеть Петри. WF-сети как подкласс называемый также сетями потоков работ.
| Рубрика | Программирование, компьютеры и кибернетика |
| Вид | презентация |
| Язык | русский |
| Дата добавления | 05.11.2016 |
| Размер файла | 168,5 K |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Подобные документы
Методы моделирования, отличные от инструментария "сети Петри". Пример моделирования стандартом IDEF0 процесса получения запроса браузером. Раскрашенные (цветные) сети Петри. Моделирование процессов игры стандартными средствами сетей Петри, ее программа.
курсовая работа [1,6 M], добавлен 11.12.2012Понятие сетей Петри, их применение и возможности. Сетевое планирование, математические модели с использованием сетей Петри. Применение сетевых моделей для описания параллельных процессов. Моделирование процесса обучения с помощью вложенных сетей Петри.
курсовая работа [1,0 M], добавлен 17.11.2009Исследование методов моделирования, отличных от сетей Петри. Моделирование при помощи инструментария IDEF. Пример простейшей байесовской сети доверия. Анализ младшего разряда множителя. Сложение на сумматорах. Заполнение и анализ редактора сетей Петри.
курсовая работа [2,6 M], добавлен 28.10.2013Разработка и реализация графического редактора сетей Петри. Описание программы, которая позволяет создавать новые сети путем добавления позиций и переходов, соединяя их определенным образом. Основы построения систем автоматизационного проектирования.
курсовая работа [2,6 M], добавлен 21.06.2011Методы разработки вычислительной структуры. Изучение методов использования иерархических сетей Петри, пути их практического применения при проектировании и анализе систем. Анализ полученной модели на активность, обратимость, конечность функционирования.
лабораторная работа [36,8 K], добавлен 03.12.2009Построение математической модели программы, одноленточного автомата над алфавитом, допускающего различные множества слов. Алфавит терминальных символов, множество состояний и переходов. Определение начального и конечного состояний. Понятие сети Петри.
контрольная работа [294,8 K], добавлен 17.09.2013Анализ существующих решений системы поддержки принятия решений для корпоративной сети. Многоагентная система. Разработка концептуальной модели. Структура базы знаний. Разработка модели многоагентной системы на базе сетей Петри. Методика тестирования.
дипломная работа [5,1 M], добавлен 19.01.2017Специфика построения и минимизации детерминированного автомата методом разбиения. Построение детерминированной сети Петри, моделирующей работу распознающего автомата. Особенности программной реализации праволинейной грамматики, построение ее графа.
курсовая работа [615,1 K], добавлен 19.06.2012Составление программы решения задачи по подсчету количества пересечений прямых, заданных двумя точками. Стандартные схемы программ в линейной и графовой формах, их интерпретация и протокол выполнения программы. Схема программы в виде сети Петри.
курсовая работа [85,4 K], добавлен 02.03.2012Анализ процессов и ситуаций для плоттеров, их виды (печатающие, режущие). Построение метамодели "асинхронный процесс". Операции над процессами, их композиция. Предметная интерпретация асинхронного процесса. Сеть Петри для процесса подготовки к вырезанию.
контрольная работа [268,5 K], добавлен 06.09.2011Построение метамодели "асинхронный процесс". Граф исходного процесса с репозицией. Особенности процесса редукции, таблица векторов. Предметная интерпретация асинхронного процесса. Свойства сети Петри: ограниченность; безопасность; живость; устойчивость.
контрольная работа [150,3 K], добавлен 08.04.2011Построение метамодели "асинхронный процесс" и определение свойств исходного процесса на основе ее анализа. Операции над процессом: репозиция, редукция, композиция, оценка результатов. Формирование предметной интерпретации метамодели на основе сети Петри.
контрольная работа [134,8 K], добавлен 12.04.2011Стандартные схемы программ в линейной и графовой формах. Инварианты и ограничения циклов. Анализ сетей Петри на основе дерева достижимости. Доказательство полной правильности программы. Суммы элементов диагоналей, параллельных главной диагонали матрицы.
курсовая работа [280,4 K], добавлен 30.05.2012Анализ инцидентов информационной безопасности. Структура и классификация систем обнаружения вторжений. Разработка и описание сетей Петри, моделирующих СОВ. Расчет времени реакции на атакующее воздействие. Верификация динамической модели обнаружения атак.
дипломная работа [885,3 K], добавлен 17.07.2016Описание процесса работы Touch Pad, операции над процессом. Выбор вычислительного процесса. Построение метамодели "асинхронного процесса", свойства его исходного положения на основе ее анализа. Предметная интерпретация метамодели на основе сети Петри.
контрольная работа [86,3 K], добавлен 06.09.2011Основные принципы организации сетей абонентского доступа на базе PLC-технологии. Угрозы локальным сетям, политика безопасности при использовании технологии PLC. Анализ функционирования PLC здания инженерно-внедренческого центра ООО "НПП "Интепс Ком".
дипломная работа [3,0 M], добавлен 25.11.2012Принцип создания кадра с помощью цифровой камеры. Построение метамодели "асинхронный процесс". Описание траекторий выбранного процесса. Операции репозиции, редукции и композиции. Предметная интерпретация асинхронного процесса. Построение сети Петри.
контрольная работа [32,4 K], добавлен 12.04.2011Понятие асинхронного процесса. Выделение множеств ситуаций, инициаторов, результантов, составление отношений непосредственного следования. Технология коммутации сегментов Ethernet. Способ передачи кадра без его полной буферизации. Построение сети Петри.
контрольная работа [169,6 K], добавлен 06.09.2011Классификация компьютерных сетей. Назначение компьютерной сети. Основные виды вычислительных сетей. Локальная и глобальная вычислительные сети. Способы построения сетей. Одноранговые сети. Проводные и беспроводные каналы. Протоколы передачи данных.
курсовая работа [36,0 K], добавлен 18.10.2008Технологический процесс изготовления детали "вал вторичный". Разработка алгоритма системы управления гибким автоматизированным комплексом обработки детали, обеспечивающего однозначность условий формирования управляющих команд. Проектирование сети Петри.
курсовая работа [247,1 K], добавлен 06.11.2013
