Место ограниченное: различия между версиями
Перейти к навигации
Перейти к поиску
KVN (обсуждение | вклад) (Новая страница: «Место <math>p</math> в сети Петри называется '''ограниченным''' (bounded place), если сущес…») |
KVN (обсуждение | вклад) Нет описания правки |
||
| Строка 1: | Строка 1: | ||
Место <math>p</math> в [[Сеть Петри|сети Петри]] называется '''ограниченным''' (bounded place), если существует число <math>n</math> такое, что для любой достижимой в сети разметки <math>M</math> справедливо неравенство <math>M(p)< n</math>. | Место <math>p</math> в [[Сеть Петри|сети Петри]] называется '''ограниченным''' (bounded place), если существует число <math>n</math> такое, что для любой достижимой в сети разметки <math>M</math> справедливо неравенство <math>M(p)< n</math>. | ||
==Литература== | ==Литература== | ||
* Касьянов В.Н., Касьянова Е.В. Теория вычислений. — Новосибирск: ИНЦ НГУ, 2018. | * Касьянов В.Н., Касьянова Е.В. Теория вычислений. — Новосибирск: ИНЦ НГУ, 2018. | ||
* Котов В.Е. Сети Петри. — М.: Наука, 1984. | * Котов В.Е. Сети Петри. — М.: Наука, 1984. | ||
[[Категория:Сети Петри]] | |||
[[Категория:Граф-модели]] | |||
[[Категория:Теория вычислений]] | [[Категория:Теория вычислений]] | ||
Текущая версия от 08:01, 10 ноября 2024
Место [math]\displaystyle{ p }[/math] в сети Петри называется ограниченным (bounded place), если существует число [math]\displaystyle{ n }[/math] такое, что для любой достижимой в сети разметки [math]\displaystyle{ M }[/math] справедливо неравенство [math]\displaystyle{ M(p)\lt n }[/math].
Литература
- Касьянов В.Н., Касьянова Е.В. Теория вычислений. — Новосибирск: ИНЦ НГУ, 2018.
- Котов В.Е. Сети Петри. — М.: Наука, 1984.