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

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

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


Литература

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