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

Материал из WikiGrapp
Перейти к навигации Перейти к поиску
(Новая страница: «Сеть Петри называется '''ограниченной сетью''' (bounded Petri net), если любое ее место ограничен…»)
 
Нет описания правки
 
(не показаны 3 промежуточные версии этого же участника)
Строка 1: Строка 1:
[[Сеть Петри]] называется '''ограниченной сетью''' (bounded Petri net), если любое ее место ограничено.
Место в [[Сеть Петри|сети Петри]] называется '''ограниченным''' (''bounded place''), если существует такое число, что для любой достижимой в сети разметки число фишек в нем не превышает данного числа. Сеть Петри называется '''ограниченной (''[[bounded Petri net]]'')''', если любое ее место ограничено.
 
Ясно, что множество достижимых разметок <math>R(N)</math> в [[Сеть Петри|сети Петри]] <math>N</math> конечно, если и только если <math>N</math> — ограниченная сеть.
 


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


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

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

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

Литература

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