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

Переход <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>.