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

Сеть Петри ограниченная (посмотреть исходный код)

114 байт убрано , 19 сентября 2018

нет описания правки

683

правки

@@ Строка 1: / Строка 1: @@
-[[Сеть Петри]] называется '''ограниченной сетью''' (bounded Petri net), если любое ее место ограничено.
+[[Сеть Петри]] называется '''ограниченной сетью''' (bounded Petri net), если если все ее места безопасны. Любая достижимая в безопасной сети разметка представляет собой вектор из 0 и 1.
-Ясно, что множество достижимых разметок <math>R(N)</math> в [[Сеть Петри|сети Петри]] <math>N</math> конечно, если и только если <math>N</math> — ограниченная сеть.
 ==Литература==