Переход мертвый

Переход [math]\displaystyle{ t }[/math] в сети Петри [math]\displaystyle{ N }[/math] называется мертвым (dead transition) при разметке [math]\displaystyle{ M }[/math], если он не является потенциально живым при [math]\displaystyle{ M }[/math]. Переход [math]\displaystyle{ t }[/math] — мертвый в сети [math]\displaystyle{ N }[/math], если он мертв при любой [math]\displaystyle{ M }[/math], достижимой от ее начальной разметки.

Литература

• Касьянов В.Н., Касьянова Е.В. Теория вычислений. — Новосибирск: ИНЦ НГУ, 2018.

• Котов В.Е. Сети Петри. — М.: Наука, 1984.