1303
правки
Сеть Петри: различия между версиями
Материал из WikiGrapp
→Литература
KVN (обсуждение | вклад) Нет описания правки |
KVN (обсуждение | вклад) |
||
| (не показаны 3 промежуточные версии этого же участника) | |||
| Строка 3: | Строка 3: | ||
Сети Петри ориентированы на моделирование «неалгоритмических» параллельных систем в виде причинно–следственных связей между событиями их недетерминированного поведения на основе [[Сеть|''сети'']] с двумя типами вершин: места и переходы. Каждый переход связывается с соответствующим множеством входных мест и соответствующим множеством выходных мест. Обычно вершины-места изображаются кружками, а вершины-переходы — барьерами (а также прямоугольниками или квадратами, если переходы являются неэлементарными объектами). Каждый переход соединяется с каждым из входных мест дугой, идущей из вершины-места к переходу, и с каждым выходным местом — дугой, направленной от перехода к вершине-месту.[[Файл:Petri net.png|350px|right]] | Сети Петри ориентированы на моделирование «неалгоритмических» параллельных систем в виде причинно–следственных связей между событиями их недетерминированного поведения на основе [[Сеть|''сети'']] с двумя типами вершин: места и переходы. Каждый переход связывается с соответствующим множеством входных мест и соответствующим множеством выходных мест. Обычно вершины-места изображаются кружками, а вершины-переходы — барьерами (а также прямоугольниками или квадратами, если переходы являются неэлементарными объектами). Каждый переход соединяется с каждым из входных мест дугой, идущей из вершины-места к переходу, и с каждым выходным местом — дугой, направленной от перехода к вершине-месту.[[Файл:Petri net.png|350px|right]] | ||
Состояние параллельной системы представляется наличием определенных меток у вершин, а конкретное состояние отображается конкретной конфигурацией меток. Такое распределение меток между местами называется ''разметкой,'' которая обычно изображается в виде черных точек (фишек) внутри соответствующих кружков. | Состояние параллельной системы представляется наличием определенных меток у вершин, а конкретное состояние отображается конкретной конфигурацией меток. Такое распределение меток между местами называется ''[[Разметка сети|разметкой]],'' которая обычно изображается в виде черных точек (фишек) внутри соответствующих кружков. | ||
Функционирование сети Петри описывается формально с помощью множества последовательностей срабатываний переходов, меняющих разметки, и множества достижимых в сети разметок. Эти понятия определяются через правила срабатывания переходов сети. | Функционирование сети Петри описывается формально с помощью множества последовательностей срабатываний переходов, меняющих разметки, и множества достижимых в сети разметок. Эти понятия определяются через правила срабатывания переходов сети. | ||
| Строка 43: | Строка 43: | ||
Сеть Петри была изобретена в ФРГ в начале 60-х годов А.А.Петри. | Сеть Петри была изобретена в ФРГ в начале 60-х годов А.А.Петри. | ||
==Литература== | ==Литература== | ||
* Котов В.Е. Сети Петри. — М.: Наука, 1984. | * Котов В.Е. Сети Петри. — М.: Наука, 1984. | ||
* Касьянов В.Н., Касьянова Е.В. Теория вычислений. — Новосибирск: ИНЦ НГУ, 2018. | |||
* Питерсон Дж. Теория сетей Петри и моделирование систем.— М.: Мир, 1984. | |||
* Толковый словарь по вычислительным системам. — М.: Машиностроение,1991. | * Толковый словарь по вычислительным системам. — М.: Машиностроение,1991. | ||
[[Категория:Сети Петри]] | |||
[[Категория:Теория вычислений]] | [[Категория:Теория вычислений]] | ||
[[Категория:Граф-модели]] | |||
[[Категория:Основные термины]] | |||
