Аноним

Переход потенциально живой: различия между версиями

Материал из WikiGrapp
нет описания правки
(Новая страница: «Переход <math>t</math> в сети Петри <math>N</math> называется '''потенциально живым''' (potent…»)
 
Нет описания правки
Строка 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> в [[Сеть Петри|сети Петри]] '''потенциально мертвый''' (potentially dead transition), если существует такая разметка <math>M</math>, достижимая от начальной, что при любой разметке <math>N</math>, достижимой от <math>M</math>, переход <math>t</math> не может сработать; разметка <math>N</math> в этом случае называется
''t''-тупиковой.