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

Материал из WikiGrapp
Перейти к навигации Перейти к поиску
Нет описания правки
Нет описания правки
Строка 1: Строка 1:
[[Сеть Петри]] называется '''ограниченной сетью''' (''[[bounded Petri net]]''), если если все ее [[Место безопасное|места безопасны]]. Любая достижимая в безопасной сети разметка представляет собой вектор из 0 и 1.
Место в [[Сеть Петри|сети Петри]] называется '''ограниченным''' (''bounded place''), если существует такое число, что для любой достижимой в сети разметки число фишек в нем не превышает данного числа. Сеть Петри называется '''ограниченной (''[[bounded Petri net]]'')''', если любое ее место ограничено.


==Литература==
==Литература==
Строка 9: Строка 9:
[[Категория:Теория вычислений]]
[[Категория:Теория вычислений]]
[[Категория:Граф-модели]]
[[Категория:Граф-модели]]
[[Категория:Сети Петри]]

Версия от 08:27, 10 ноября 2024

Место в сети Петри называется ограниченным (bounded place), если существует такое число, что для любой достижимой в сети разметки число фишек в нем не превышает данного числа. Сеть Петри называется ограниченной (bounded Petri net), если любое ее место ограничено.

Литература

  • Касьянов В.Н., Касьянова Е.В. Теория вычислений. — Новосибирск: ИНЦ НГУ, 2018.
  • Котов В.Е. Сети Петри. — М.: Наука, 1984.