https://libeldoc.bsuir.by/handle/123456789/26046| Title: | Анализ и верификация раскрашенных сетей Петри реального времени с поддержкой логики Аллена |
| Other Titles: | Analysis and verification of realtime colored Petri nets with support of Allen's logic |
| Authors: | Еремеев, А. П. Королев, Ю. И. |
| Keywords: | Petri nets;temporal model;материалы конференций;сети Петри;модифицированные сети Петри;темпоральные модели;системы управления |
| Issue Date: | 2014 |
| Publisher: | БГУИР |
| Citation: | Еремеев, А. П. Анализ и верификация раскрашенных сетей Петри реального времени с поддержкой логики Аллена / А. П. Еремеев, Ю. И. Королев // Открытые семантические технологии проектирования интеллектуальных систем = Open Semantic Technologies for Intelligent Systems (OSTIS-2014) : материалы IV междунар. науч.-техн. конф. (Минск, 20-22 февраля 2014 года) / редкол.: В. В. Голенков (отв. ред.) [и другие]. – Минск : БГУИР, 2014. – С. 461 - 464. |
| Abstract: | Рассматриваются вопросы анализа темпорального подкласса сетей Петри, предложенного для моделирования интеллектуальных систем. Обуславливается необходимость верификации моделей, созданных на основе таких сетей. Предлагается использование графовых инструментов анализа, отражающих смену состояний в подобных сетях. Приводится пример построения таких графов для модели простой системы управления. Работа выполнена при финансовой поддержке РФФИ (проект № 14-01-00427) и Фонда содействия инновациям. |
| Alternative abstract: | In work analysis of temporal Petri nets' subclass, proposed by research group for intelligent systems' modeling, is considered. |
| URI: | https://libeldoc.bsuir.by/handle/123456789/26046 |
| Appears in Collections: | OSTIS-2014 |
| File | Description | Size | Format | |
|---|---|---|---|---|
| Eremeyev_Analiz.PDF | 1.17 MB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.