Разметка тупиковая

Материал из WikiGrapp
Версия от 08:14, 10 ноября 2024; KVN (обсуждение | вклад)
(разн.) ← Предыдущая версия | Текущая версия (разн.) | Следующая версия → (разн.)

Разметка в сети Петри [math]\displaystyle{ N }[/math] называется тупиковой (dead marking), если в сети [math]\displaystyle{ N }[/math] не существует ни одного перехода, который может сработать при этой разметке.

Литература

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