Переход мертвый: различия между версиями

Переход мертвый (посмотреть исходный код)

85 байт добавлено , 10 ноябрь

нет описания правки

1207

правок

@@ Строка 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>, достижимой от ее начальной разметки.
 ==Литература==