Как
называется свойство сети Петри, состоящее в том, что из
некоторой маркировки можно переходить к другой маркировке?