Граф достижимых разметок: различия между версиями

Перейти к навигации Перейти к поиску
нет описания правки
(Новая страница: «'''Граф достижимых разметок''' сети Петри <math>N</math> --- это ориентированный граф…»)
 
Нет описания правки
Строка 1: Строка 1:
'''Граф достижимых разметок''' [[Сеть Петри|сети Петри]] <math>N</math> --- это ориентированный граф, множество вершин которого образовано множеством достижимых в <math>N</math> разметок, а дуги графа представляют возможные изменения разметок сети <math>N</math>: из вершины <math>M</math> в вершину <math>K</math> ведет дуга, помеченная символом перехода <math>t</math> тогда и только тогда, когда <math>M [t > K</math>, т.е. <math>K</math> непосредственно следует после <math>M</math> в результате срабатывания перехода <math>t</math>.
'''Граф достижимых разметок''' ([[Graph of reachable markings]]) [[Сеть Петри|сети Петри]] <math>N</math> --- это ориентированный граф, множество вершин которого образовано множеством достижимых в <math>N</math> разметок, а дуги графа представляют возможные изменения разметок сети <math>N</math>: из вершины <math>M</math> в вершину <math>K</math> ведет дуга, помеченная символом перехода <math>t</math> тогда и только тогда, когда <math>M [t > K</math>, т.е. <math>K</math> непосредственно следует после <math>M</math> в результате срабатывания перехода <math>t</math>.




Навигация