1146
правок
Место безопасное: различия между версиями
Перейти к навигации
Перейти к поиску
нет описания правки
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. | ||