Аноним

Alive Petri net: различия между версиями

Материал из WEGA
нет описания правки
(Создана новая страница размером '''Alive Petri net''' --- живая сеть Петри. A ''Petri net''<math>N</math> is called '''alive''' iff whenever <math>m</math> ...)
 
Нет описания правки
 
Строка 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.