Нахождение общего количества состояний и переходов в UPPAAL
У меня есть большая модель UPPAAL. Я хочу проанализировать общее количество состояний и переходов в моей модели. Есть ли способ узнать эти вещи.
Спасибо и всего наилучшего
1 ответ
На самом деле, нет. В принципе количество (конкретных) состояний неисчислимо. Уппал имеет дело с символическими состояниями, и количество исследованных символических состояний может различаться в зависимости от порядка поиска. использование verifyta -u сообщить количество исследованных состояний.