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

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


==Литература==
==Литература==
Строка 8: Строка 8:


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

Навигация