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

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


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


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

Текущая версия от 08:29, 10 ноября 2024

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

Литература

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