Аноним

Сеть Петри: различия между версиями

Материал из WikiGrapp
нет описания правки
Нет описания правки
Нет описания правки
Строка 1: Строка 1:
'''Сеть Петри''' (''[[Petri net]]'') - Графическая модель системы с
'''Сеть Петри''' (''[[Petri net]]'') Графическая модель системы с
высокой степенью распараллеливания вычислений, используемая
высокой степенью распараллеливания вычислений, используемая
для анализа определенных ее свойств. Сеть Петри состоит из
для анализа определенных ее свойств. [[Сеть]] Петри состоит из
множества [[узел|узлов]] (мест), множества символов, переходов и
множества [[узел|узлов]] (мест), множества символов, переходов и
множества [[дуга|дуг]]. Каждый переход связывается с соответствующим
множества [[дуга|дуг]]. Каждый переход связывается с соответствующим
Строка 7: Строка 7:
выходных мест. Каждый переход соединяется с каждым из
выходных мест. Каждый переход соединяется с каждым из
входных мест дугой, идущей из узла-места к переходу, и с
входных мест дугой, идущей из узла-места к переходу, и с
каждым выходным местом --- дугой, направленной от перехода к
каждым выходным местом дугой, направленной от перехода к
узлу-месту.
узлу-месту.


Строка 16: Строка 16:
конфигурацией меток. Такое распределение меток между местами
конфигурацией меток. Такое распределение меток между местами
называется ''разметкой''. Узлы обычно изображаются в виде кружков,
называется ''разметкой''. Узлы обычно изображаются в виде кружков,
обозначаемых строчными буквами <math>p \ldots t</math>, переходы --- линиями, а
обозначаемых строчными буквами <math>p \ldots t</math>, переходы линиями, а
исходная разметка --- черными точками. Символы переходов
исходная разметка черными точками. Символы переходов
показывают возможные изменения состояния параллельной
показывают возможные изменения состояния параллельной
системы.
системы.
Строка 29: Строка 29:
изменение состояния, так и влияние этого изменения.
изменение состояния, так и влияние этого изменения.


Срабатывание перехода --- это неделимое событие, и потому
Срабатывание перехода это неделимое событие, и потому
одновременное срабатывание двух или более переходов
одновременное срабатывание двух или более переходов
невозможно. Когда состояние таково, что два или более
невозможно. Когда состояние таково, что два или более
Строка 48: Строка 48:
разметки из заданного исходного состояния, пока не поддается
разметки из заданного исходного состояния, пока не поддается
решению. Неоднократные попытки доказать общепринятую гипотезу о
решению. Неоднократные попытки доказать общепринятую гипотезу о
разрешимости последней, страдали одним общим недостатком --- в
разрешимости последней, страдали одним общим недостатком в
доказательствах были обнаружены ошибки. Вместе с тем многие
доказательствах были обнаружены ошибки. Вместе с тем многие
другие проблемы сетей Петри эквивалентны ей в том смысле, что их
другие проблемы сетей Петри эквивалентны ей в том смысле, что их
Строка 56: Строка 56:
Сеть Петри была изобретена в ФРГ в начале 60-х годов А.А.Петри.
Сеть Петри была изобретена в ФРГ в начале 60-х годов А.А.Петри.
==Литература==
==Литература==
[Котов],  
* Котов В.Е. Сети Петри. — М.: Наука, 1984.


[Словарь]
* Толковый словарь по вычислительным системам. — М.: Машиностроение,
1991.