Как
называется свойство сети Петри, состоящее в том, что число маркеров в любой
позиции не может превышать некоторого значения?