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

Материал из WikiGrapp
Перейти к навигации Перейти к поиску

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

Литература

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