Переход потенциально живой: различия между версиями
Перейти к навигации
Перейти к поиску
KVN (обсуждение | вклад) (Новая страница: «Переход <math>t</math> в сети Петри <math>N</math> называется '''потенциально живым''' (potent…») |
KVN (обсуждение | вклад) Нет описания правки |
||
| Строка 1: | Строка 1: | ||
Переход <math>t</math> в [[Сеть Петри|сети Петри]] | Переход <math>t</math> в [[Сеть Петри|сети Петри]] — '''потенциально мертвый''' (potentially dead transition), если существует такая разметка <math>M</math>, достижимая от начальной, что при любой разметке <math>N</math>, достижимой от <math>M</math>, переход <math>t</math> не может сработать; разметка <math>N</math> в этом случае называется | ||
''t''-тупиковой. | |||
Версия от 10:59, 16 сентября 2018
Переход [math]\displaystyle{ t }[/math] в сети Петри — потенциально мертвый (potentially dead transition), если существует такая разметка [math]\displaystyle{ M }[/math], достижимая от начальной, что при любой разметке [math]\displaystyle{ N }[/math], достижимой от [math]\displaystyle{ M }[/math], переход [math]\displaystyle{ t }[/math] не может сработать; разметка [math]\displaystyle{ N }[/math] в этом случае называется t-тупиковой.
Литература
- Касьянов В.Н., Касьянова Е.В. Теория вычислений. — Новосибирск: ИНЦ НГУ, 2018.
- Котов В.Е. Сети Петри. — М.: Наука, 1984.