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

Материал из WikiGrapp
Версия от 10:35, 16 сентября 2018; KVN (обсуждение | вклад) (Новая страница: «Переход сети Петри называется '''живым''' (live transition), если он является [[Перехо…»)
(разн.) ← Предыдущая версия | Текущая версия (разн.) | Следующая версия → (разн.)
Перейти к навигации Перейти к поиску

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

Литература

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