Граф достижимых разметок

Граф достижимых разметок (Graph of reachable markings) сети Петри [math]\displaystyle{ N }[/math] --- это ориентированный граф, множество вершин которого образовано множеством достижимых в [math]\displaystyle{ N }[/math] разметок, а дуги графа представляют возможные изменения разметок сети [math]\displaystyle{ N }[/math]: из вершины [math]\displaystyle{ M }[/math] в вершину [math]\displaystyle{ K }[/math] ведет дуга, помеченная символом перехода [math]\displaystyle{ t }[/math] тогда и только тогда, когда [math]\displaystyle{ M[t\gt K }[/math], т.е. [math]\displaystyle{ K }[/math] непосредственно следует после [math]\displaystyle{ M }[/math] в результате срабатывания перехода [math]\displaystyle{ t }[/math].

Литература

• Касьянов В.Н., Касьянова Е.В. Теория вычислений. — Новосибирск: ИНЦ НГУ, 2018.
• Котов В.Е. Сети Петри. — М.: Наука, 1984.