Сеть Петри ограниченная

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

Сеть Петри называется ограниченной сетью (bounded Petri net), если если все ее места безопасны. Любая достижимая в безопасной сети разметка представляет собой вектор из 0 и 1.

Литература

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