Alive Petri net: различия между версиями
Перейти к навигации
Перейти к поиску
Glk (обсуждение | вклад) (Создана новая страница размером '''Alive Petri net''' --- живая сеть Петри. A ''Petri net''<math>N</math> is called '''alive''' iff whenever <math>m</math> ...) |
KEV (обсуждение | вклад) Нет описания правки |
||
| Строка 1: | Строка 1: | ||
'''Alive Petri net''' | '''Alive Petri net''' — ''[[живая сеть Петри]].'' | ||
A ''Petri net''<math>N</math> is called '''alive''' iff whenever <math>m</math> is a reachable marking for <math>N</math> and <math>t</math> is a transition of <math>N</math>, it is possible for <math>N</math> to reach, starting from <math>m</math>, a marking | |||
A ''[[Petri net]]'' <math>N</math> is called '''alive''' iff whenever <math>m</math> is a reachable marking for <math>N</math> and <math>t</math> is a transition of <math>N</math>, it is possible for <math>N</math> to reach, starting from <math>m</math>, a marking | |||
in which <math>t</math> is enabled. | in which <math>t</math> is enabled. | ||
Текущая версия от 15:29, 17 ноября 2011
Alive Petri net — живая сеть Петри.
A Petri net [math]\displaystyle{ N }[/math] is called alive iff whenever [math]\displaystyle{ m }[/math] is a reachable marking for [math]\displaystyle{ N }[/math] and [math]\displaystyle{ t }[/math] is a transition of [math]\displaystyle{ N }[/math], it is possible for [math]\displaystyle{ N }[/math] to reach, starting from [math]\displaystyle{ m }[/math], a marking in which [math]\displaystyle{ t }[/math] is enabled.