683
правки
Переход потенциально живой: различия между версиями
Материал из WikiGrapp
Переход потенциально живой (посмотреть исходный код)
Версия от 11:09, 16 сентября 2018
, 16 сентября 2018нет описания правки
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>. | ||
