Создана новая страница размером '''Alive Petri net''' --- живая сеть Петри. A ''Petri net''<math>N</math> is called '''alive''' iff whenever <math>m</math> ...
(Создана новая страница размером '''Alive Petri net''' --- живая сеть Петри. A ''Petri net''<math>N</math> is called '''alive''' iff whenever <math>m</math> ...)