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