Skip navigation
Please use this identifier to cite or link to this item: https://libeldoc.bsuir.by/handle/123456789/4155
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

Files in This Item:
File Description SizeFormat 
Korolev_Verifikatsiya.PDF394.18 kBAdobe PDFView/Open
Show full item record


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.