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