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. | ||
Строка 9: | Строка 8: | ||
[[Категория:Теория вычислений]] | [[Категория:Теория вычислений]] | ||
[[Категория:Граф-модели]] |