Дата публикации: 2015

Дата публикации в реестре: 2021-08-05T18:03:57Z

Аннотация:

Рассматриваются средства моделирования процессов в сложных динамических системах в плане их использования в интеллектуальных системах поддержки принятия решений реального времени. В качестве формального аппарата предлагается использовать сети Петри специального типа – раскрашенные (colored) сети Петри реального времени с поддержкой темпоральной логики Аллена. Обуславливается необходимость верификации моделей, разработанных с помощью данного формализма, предлагается использование метода верификации Model Checking. Работа выполнена при финансовой поддержке РФФИ и Фонда содействия инновациям.In the paper the tools of modeling processes in complex dynamic systems are considered in terms of their use in intelligent decision support systems real time. A special type of Petri nets - real-time colored Petri net with support of Allen temporal logic is proposed to use as a basic formalism.

Тип: Article