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