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