Переход потенциально живой: различия между версиями
Материал из WikiGrapp
KVN (обсуждение | вклад) (Новая страница: «Переход <math>t</math> в сети Петри <math>N</math> называется '''потенциально живым''' (potent…») |
KVN (обсуждение | вклад) Нет описания правки |
||
| (не показана 1 промежуточная версия этого же участника) | |||
| Строка 1: | Строка 1: | ||
Переход <math>t</math> в [[Сеть Петри|сети Петри]] <math>N</math> называется '''потенциально живым''' (potentially live transition) '''при разметке''' <math>M</math>, если существует разметка, достижимая от <math>M</math>, при которой переход <math>t</math> может сработать. Если <math>M</math> --- начальная разметка, то <math>t</math> называется '''потенциально живым''' '''в сети''' <math>N</math>. | Переход <math>t</math> в [[Сеть Петри|сети Петри]] <math>N</math> называется '''потенциально живым''' (potentially live transition) '''при разметке''' <math>M</math>, если существует разметка, достижимая от <math>M</math>, при которой переход <math>t</math> может сработать. Если <math>M</math> --- начальная разметка, то <math>t</math> называется '''потенциально живым''' '''в сети''' <math>N</math>. | ||
Текущая версия от 11:09, 16 сентября 2018
Переход [math]\displaystyle{ t }[/math] в сети Петри [math]\displaystyle{ N }[/math] называется потенциально живым (potentially live transition) при разметке [math]\displaystyle{ M }[/math], если существует разметка, достижимая от [math]\displaystyle{ M }[/math], при которой переход [math]\displaystyle{ t }[/math] может сработать. Если [math]\displaystyle{ M }[/math] --- начальная разметка, то [math]\displaystyle{ t }[/math] называется потенциально живым в сети [math]\displaystyle{ N }[/math].
Литература
- Касьянов В.Н., Касьянова Е.В. Теория вычислений. — Новосибирск: ИНЦ НГУ, 2018.
- Котов В.Е. Сети Петри. — М.: Наука, 1984.
