Переход живой

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

Переход сети Петри называется живым (live transition), если он является потенциально живым при любой разметке сети, достижимой от ее начальной разметки.

Литература

  • Касьянов В.Н., Касьянова Е.В. Теория вычислений. — Новосибирск: ИНЦ НГУ, 2018.
  • Котов В.Е. Сети Петри. — М.: Наука, 1984.
Источник — http://pco.iis.nsk.su/grapp/index.php?title=Переход_живой&oldid=11425