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