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

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

188 байт добавлено , 10 ноября 2024

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

1288

правок

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