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

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

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

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

1288

правок

@@ Строка 1: / Строка 1: @@
-[[Сеть Петри]] называется '''ограниченной сетью''' (bounded Petri net), если любое ее место ограничено.
+Место в [[Сеть Петри|сети Петри]]  называется '''ограниченным''' (''bounded place''), если существует такое число, что для любой достижимой в сети разметки число фишек в нем не превышает данного числа. Сеть Петри называется '''ограниченной (''[[bounded Petri net]]'')''', если любое ее место ограничено.
-Ясно, что множество достижимых разметок <math>R(N)</math> в [[Сеть Петри|сети Петри]] <math>N</math> конечно, если и только если <math>N</math> — ограниченная сеть.
 ==Литература==
 * Касьянов В.Н., Касьянова Е.В. Теория вычислений. — Новосибирск: ИНЦ НГУ, 2018.
 * Котов В.Е. Сети Петри. — М.: Наука, 1984.
+[[Категория:Сети Петри]]
+[[Категория:Граф-модели]]
 [[Категория:Теория вычислений]]