Как называется свойство сети Петри, состоящее в постоянстве ресурсов сети, т.е. суммы маркеров (с весами) во всех позициях? Безопасность, Достижимость, Живость, Ограниченность, Сохраняемость