Сеть Петри безопасная: различия между версиями

Материал из WikiGrapp
Перейти к навигации Перейти к поиску
(Новая страница: «Сеть Петри называется '''безопасной''' (safe Petri net), если все ее места безопасны. Любая дост…»)
 
 
Строка 8: Строка 8:


[[Категория:Теория вычислений]]
[[Категория:Теория вычислений]]
[[Категория:Граф-модели]]

Текущая версия от 14:59, 5 ноября 2024

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

Литература

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