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

Материал из WikiGrapp
Перейти к навигации Перейти к поиску
Нет описания правки
Нет описания правки
Строка 1: Строка 1:
Переход <math>t</math> в [[Сеть Петри|сети Петри]] — '''потенциально мертвый''' (potentially dead transition), если существует такая разметка <math>M</math>, достижимая от начальной, что при любой разметке <math>N</math>, достижимой от <math>M</math>, переход <math>t</math> не может сработать; разметка <math>N</math> в этом случае называется
Переход <math>t</math> в [[Сеть Петри|сети Петри]] <math>N</math> называется '''потенциально живым''' (potentially live transition) '''при разметке''' <math>M</math>, если существует разметка, достижимая от <math>M</math>, при которой переход <math>t</math> может сработать. Если <math>M</math> --- начальная разметка, то <math>t</math> называется '''потенциально живым''' '''в сети''' <math>N</math>.  
''t''-тупиковой.  
 




Версия от 11:09, 16 сентября 2018

Переход [math]\displaystyle{ t }[/math] в сети Петри [math]\displaystyle{ N }[/math] называется потенциально живым (potentially live transition) при разметке [math]\displaystyle{ M }[/math], если существует разметка, достижимая от [math]\displaystyle{ M }[/math], при которой переход [math]\displaystyle{ t }[/math] может сработать. Если [math]\displaystyle{ M }[/math] --- начальная разметка, то [math]\displaystyle{ t }[/math] называется потенциально живым в сети [math]\displaystyle{ N }[/math].


Литература

  • Касьянов В.Н., Касьянова Е.В. Теория вычислений. — Новосибирск: ИНЦ НГУ, 2018.
  • Котов В.Е. Сети Петри. — М.: Наука, 1984.
Источник — http://pco.iis.nsk.su/grapp/index.php?title=Переход_потенциально_живой&oldid=10726