Граф достижимых разметок: различия между версиями
Перейти к навигации
Перейти к поиску
KVN (обсуждение | вклад) Нет описания правки |
KVN (обсуждение | вклад) Нет описания правки |
||
| Строка 1: | Строка 1: | ||
'''Граф достижимых разметок''' ([[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>. | '''Граф достижимых разметок''' ([[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>. | ||
==Литература== | ==Литература== | ||
* Касьянов В.Н., Касьянова Е.В. Теория вычислений. — Новосибирск: ИНЦ НГУ, 2018. | * Касьянов В.Н., Касьянова Е.В. Теория вычислений. — Новосибирск: ИНЦ НГУ, 2018. | ||
* Котов В.Е. Сети Петри. — М.: Наука, 1984. | * Котов В.Е. Сети Петри. — М.: Наука, 1984. | ||
[[Категория:Сети Петри]] | |||
[[Категория:Граф-модели]] | |||
[[Категория:Теория вычислений]] | [[Категория:Теория вычислений]] | ||
Текущая версия от 08:00, 10 ноября 2024
Граф достижимых разметок (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.