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