Аноним

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

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


Состояние параллельной системы представляется наличием определенных
Состояние параллельной системы представляется наличием определенных
меток у узлов, а конкретное состояние отображается конкретной
[[метка|меток]] у узлов, а конкретное состояние отображается конкретной
конфигурацией меток. Такое распределение меток между местами
конфигурацией меток. Такое распределение меток между местами
называется ''разметкой''. Узлы обычно изображаются в виде кружков,
называется ''разметкой''. Узлы обычно изображаются в виде кружков,