| Title: | Верификация моделей процессов в динамических системах по методу model checking |
| Other Titles: | Verification of models of processes in dynamic systems using model checking method |
| Authors: | Королев, Ю. И. |
| Keywords: | материалы конференций;Оstis;intelligent decision support system;process modeling;Petri nets;temporal logic;system verification;интеллектуальная система поддержки принятия решений;моделирование процессов;сети Петри;темпоральная логика;верификация систем |
| Issue Date: | 2015 |
| Publisher: | БГУИР |
| Citation: | Королев, Ю. И. Верификация моделей процессов в динамических системах по методу model checking / Ю. И. Королев // Открытые семантические технологии проектирования интеллектуальных систем = Open Semantic Technologies for Intelligent Systems (OSTIS-2015) : материалы V междунар. науч.-техн. конф. (Минск, 19-21 февраля 2015 года)/ редкол. : В. В. Голенков (отв. ред.) [и др.]. – Минск : БГУИР, 2015. – С. 545-548. |
| Abstract: | Рассматриваются средства моделирования процессов в сложных динамических системах в плане их использования в интеллектуальных системах поддержки принятия решений реального времени. В качестве формального аппарата предлагается использовать сети Петри специального типа – раскрашенные (colored) сети Петри реального времени с поддержкой темпоральной логики Аллена. Обуславливается необходимость верификации моделей, разработанных с помощью данного формализма, предлагается использование метода верификации Model Checking. Работа выполнена при финансовой поддержке РФФИ и Фонда содействия
Инновациям. |
| Alternative abstract: | 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. |
| URI: | https://libeldoc.bsuir.by/handle/123456789/4155 |
| ISBN: | 978-985-543-034-7 |
| Appears in Collections: | OSTIS-2015
|
