https://libeldoc.bsuir.by/handle/123456789/7166
Название: | Разработка программного обеспечения для моделирования систем на основе темпоральных сетей Петри |
Другие названия: | Development of the software for systems modelling based on temporal Petri nets |
Авторы: | Еремеев, А. П. Королев, Ю. И. |
Ключевые слова: | материалы конференций;интеллектуальная система поддержки принятия решений;темпоральные сети Петри;моделирование систем;разработка инструментария;intelligent decision support system;temporal Petri nets;system modelling;toolkit design |
Дата публикации: | 2016 |
Издательство: | БГУИР |
Описание: | Еремеев, А. П. Разработка программного обеспечения для моделирования систем на основе темпоральных сетей Петри / А. П. Еремеев, Ю. И. Королев // Открытые семантические технологии проектирования интеллектуальных систем = Open Semantic Technologies for Intelligent Systems (OSTIS-2016) : материалы VI междунар. науч.-техн. конф. (Минск, 18 - 20 февраля 2016 года) / редкол. : В. В. Голенков (отв. ред.) [и др.]. – Минск : БГУИР, 2016. – С. 283 - 288. |
Аннотация: | В работе рассматривается вопрос разработки программного инструментария, предназначенного для моделирования сложных динамических систем и позволяющего оперировать временными (темпоральными) зависимостями. Моделирование осуществляется на основе формализма раскрашенных сетей Петри реального времени с поддержкой логики Аллена. Описывается прототип инструментария в среде G2, разработка программных средств на языках высокого уровня. Приведен пример использования созданного программного обеспечения в задаче разработки моделей объектов электроэнергетической системы. |
Аннотация на другом языке: | In the paper the software development of the toolkit for complex dynamic system modelling that allows to operate with temporal dependencies is described. Modelling is based on the formalism of real-time coloured Petri nets supporting Allen's logic. The toolkite prototype designed in G2 IDE and the development of software in high level languages are considered. The example of using the designed software to model objects of electric power system is given. The possibility of using the designed software in intelligent decision support systems is mentioned. |
URI: | https://libeldoc.bsuir.by/handle/123456789/7166 |
Располагается в коллекциях: | OSTIS-2016 |
Файл | Описание | Размер | Формат | |
---|---|---|---|---|
Eremeyev_Razrabotka.PDF | 628.05 kB | Adobe PDF | Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.