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

Материал из WikiGrapp
Версия от 11:20, 16 сентября 2018; KVN (обсуждение | вклад) (Новая страница: «Переход <math>t</math> в сети Петри <math>N</math> называется '''мертвым''' (dead transition) '''при …»)
(разн.) ← Предыдущая версия | Текущая версия (разн.) | Следующая версия → (разн.)
Перейти к навигации Перейти к поиску

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