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