Переход устойчивый: различия между версиями
Перейти к навигации
Перейти к поиску
KVN (обсуждение | вклад) (Новая страница: «Переход в сети Петри называется '''устойчивым''' (persistent transition), если при любом …») |
KVN (обсуждение | вклад) Нет описания правки |
||
| Строка 4: | Строка 4: | ||
==Литература== | ==Литература== | ||
* Касьянов В.Н., Касьянова Е.В. Теория вычислений. — Новосибирск: ИНЦ НГУ, 2018. | * Касьянов В.Н., Касьянова Е.В. Теория вычислений. — Новосибирск: ИНЦ НГУ, 2018. | ||
* Котов В.Е. Сети Петри. — М.: Наука, 1984. | * Котов В.Е. Сети Петри. — М.: Наука, 1984. | ||
[[Категория:Сети Петри]] | |||
[[Категория:Граф-модели]] | |||
[[Категория:Теория вычислений]] | [[Категория:Теория вычислений]] | ||
Текущая версия от 08:11, 10 ноября 2024
Переход в сети Петри называется устойчивым (persistent transition), если при любом состоянии сети (любой ее разметке, достижимой от начальной), в котором он может сработать, никакой другой переход не может, сработав, лишить его этой возможности.
Литература
- Касьянов В.Н., Касьянова Е.В. Теория вычислений. — Новосибирск: ИНЦ НГУ, 2018.
- Котов В.Е. Сети Петри. — М.: Наука, 1984.