Переход потенциально живой

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