Место безопасное: различия между версиями
Перейти к навигации
Перейти к поиску
KVN (обсуждение | вклад) Нет описания правки |
KVN (обсуждение | вклад) Нет описания правки |
||
| Строка 1: | Строка 1: | ||
Место <math>p</math> в [[Сеть Петри|сети Петри]] называется '''безопасным''' (safe place), если для любой достижимой в сети разметки <math>M</math> справедливо неравенство <math>M(p)\leq 1</math>. | Место <math>p</math> в [[Сеть Петри|сети Петри]] называется '''безопасным''' (''[[safe place]]''), если для любой достижимой в сети разметки <math>M</math> справедливо неравенство <math>M(p)\leq 1</math>. | ||
Литература | |||
* Касьянов В.Н., Касьянова Е.В. Теория вычислений. — Новосибирск: ИНЦ НГУ, 2018. | * Касьянов В.Н., Касьянова Е.В. Теория вычислений. — Новосибирск: ИНЦ НГУ, 2018. | ||
| Строка 9: | Строка 8: | ||
[[Категория:Теория вычислений]] | [[Категория:Теория вычислений]] | ||
[[Категория:Граф-модели]] | |||
Версия от 15:03, 5 ноября 2024
Место [math]\displaystyle{ p }[/math] в сети Петри называется безопасным (safe place), если для любой достижимой в сети разметки [math]\displaystyle{ M }[/math] справедливо неравенство [math]\displaystyle{ M(p)\leq 1 }[/math].
Литература
- Касьянов В.Н., Касьянова Е.В. Теория вычислений. — Новосибирск: ИНЦ НГУ, 2018.
- Котов В.Е. Сети Петри. — М.: Наука, 1984.