СЕТИ ПЕТРИ

Содержание

Введение 5

1 Исходная схема 6

2 Начальная маркировка 7

3 Матрицы инцидентности 8

4 Древо маркировок 9

5 Словарь свободного языка PN 10

6 Свойство сети рассматриваемой сети Петри 11

Заключение 12

Список используемых источников 13

Выдержка из текста

Сети Петри — математический аппарат для моделирования динамических дискретных систем. Впервые описаны Карлом Петри в 1962 году

Сеть Петри представляет собой двудольный ориентированный мультиграф, состоящий из вершин двух типов — позиций и переходов, соединённых между собой дугами. Вершины одного типа не могут быть соединены непосредственно. В позициях могут размещаться метки (маркеры), способные перемещаться по сети.

Событием называют срабатывание перехода, при котором метки из входных позиций этого перехода перемещаются в выходные позиции. События происходят мгновенно, либо разновременно, при выполнении некоторых условий.

Сеть Петри есть мультиграф, так как он допускает существование кратных дуг от одной вершины графа к другой. Так как дуги являются направленными, то это ориентированныймультиграф. Вершины графа можно разделить на два множества (позиции и переходы) таким образом, что каждая дуга будет направлена от элемента одного множества (позиций или переходов) к элементу другого множества (переходов или позиций); следовательно, такой граф является двудольным ориентированным мультиграфом.

Список использованной литературы

1. Питерсон Дж. Теория сетей Петри и моделирование систем.[Текст] / Дж Питерсон — М: Мир, 1984. — 264 с.

2. Котов В. Е. Сети Петри. [Текст] / В.Е.Котов — М: Наука, 1984. — 160 с.

3. Учебный курс МГТУ им. Баумана «Основы САПР. Моделирование» [Электронный ресурс] / Режим доступа: http://bigor.bmstu.ru/?cnt/?doc=110_Simul/3019.mod/?cou=110_Simul/base.cou

4. Сети Петри на сайте Института автоматики и процессов управления [Электронный ресурс] / Режим доступа: http://www.iacp.dvo.ru/lab_11/otchet/ot2000/pn3.html#theory

5. Исходные тексты примеров программ, реализующих сети Петри и строго иерархические сети [Электронный ресурс] / Режим доступа: http://www.pp-book.narod.ru/

С этим материалом также изучают

Применение-математического-аппарата-сетей-Петри-для-исследования-информационных-систем

... 3.3 МОДЕЛИРОВАНИЕ ПРОЦЕССА ОБУЧЕНИЯ С ПОМОЩЬЮ ВЛОЖЕННЫХ СЕТЕЙ ПЕТРИ .34 ЗАКЛЮЧЕНИЕ …………………………………………………………………………...41 СПИСОК ИСПОЛЬЗУЕМОЙ ЛИТЕРАТУРЫ ………………………………………………...42 ПРИЛОЖЕНИЯ …………………………………………………………………………...44 Выдержка из текста Развитие ЭВМ ...

Структура и методология написания дипломной работы по моделированию МАС сетями Петри

Ищете образец дипломной работы по МАС и сетям Петри? Наше руководство разбирает всё: от обзора литературы и методологии до практической реализации и анализа результатов.

Синтез управляющего автомата для автоматизации реактора(Сети Петри, Граф операций)

... написания этих алгоритмов являются ординарные или ингибиторные сети Петри и графы операций. Написанию алгоритма и ... используемой литературы Приложение 1. Спецификация. Выдержка из текста Роботы, являясь самостоятельными устройствами в системах ...

Психолингвистические особенности информационных текстов женских журналов (на примере одного из изданий)

... Информационные тексты журнала CosmopolitanЗаключениеСписок использованной литературыСодержание Выдержка из текста Внутрикорпоративный pr на примере одного ... контента от предпочтений аудитории, перспектив перехода изданий в электронный формат. Данные ...

Применение математического аппарата сетей Петри для исследования информационных систем 2

... c. 7. Леоненков А. Нечеткое моделирование в среде MATLAB и ... ЛИТЕРАТУРА 38 Выдержка из текста Входы информационных систем ... вычислительных или телекоммуникационных сетях состоит в идентификации ... систем обусловлена, с одной стороны, постоянно растущими ...

Моделирование экосистем с помощью взвешенных орграфов

... дуги соединяют две неравноправные вершины: одна из них называется началом дуги (дуга из нее исходит), вторая - концом дуги (дуга ... теоретические основы моделирования с помощью ... Н.И., Третьяк О.А.. Управление сетями: новые направления исследований ...

Исследование безопасности информации при передаче данных по локально-вычислительной сети на основе Power Line Communication технологий

... технологии с использованием сетей Петри3.4.1. Реализация сетями Петри основных логических элементов3.4.2. Моделирование сетями Петри поведения ЛВС ... из текста Исследование безопасности информации при передаче данных по локально-вычислительной сети ...

Исследование безопасности информации при передаче данных по локально-вычислительной сети на основе Power Line Communication технологий 2

... технологии с использованием сетей Петри 3.4.1. Реализация сетями Петри основных логических элементов 3.4.2. Моделирование сетями Петри поведения ЛВС ... из текста Исследование безопасности информации при передаче данных по локально-вычислительной сети на ...

IDEF-моделирование мандатного разграничения доступа

... разграничения доступа мандатного (полномочного) типа. Для динамического моделирования использовалась программа построения сетей Петри Graf. Выдержка из текста Реферат В ходе выполнения данной курсовой работы ...

Похожие записи