Анализ и верификация моделей процессов в сложных динамических системах

В работе рассматриваются вопросы моделирования процессов в современных сложных динамических системах. Обосновывается потребность в учете темпоральных (временных) зависимостей между объектами таких систем на этапе моделирования. В качестве инструмента моделирования предлагается модификация раскрашенных сетей Петри с поддержкой темпоральной интервальной логики Аллена. Предложенный в работе подход позволяет адекватно моделировать процессы, протекающие в сложных динамических системах, а также проводить верификацию таких моделей. Он ориентирован на использование в интеллектуальных системах поддержки принятия решений реального времени.