DC Field | Value | Language |
dc.contributor.author | Еремеев, А. П. | - |
dc.contributor.author | Королев, Ю. И. | - |
dc.date.accessioned | 2017-10-04T13:02:26Z | - |
dc.date.available | 2017-10-04T13:02:26Z | - |
dc.date.issued | 2014 | - |
dc.identifier.citation | Еремеев, А. П. Анализ и верификация раскрашенных сетей Петри реального времени с поддержкой логики Аллена / А. П. Еремеев, Ю. И. Королев // Открытые семантические технологии проектирования интеллектуальных систем = Open Semantic Technologies for Intelligent Systems (OSTIS-2014) : материалы IV междунар. науч.-техн. конф. (Минск, 20-22 февраля 2014 года) / редкол.: В. В. Голенков (отв. ред.) [и другие]. – Минск : БГУИР, 2014. – С. 461 - 464. | ru_RU |
dc.identifier.uri | https://libeldoc.bsuir.by/handle/123456789/26046 | - |
dc.description.abstract | Рассматриваются вопросы анализа темпорального подкласса сетей Петри, предложенного для моделирования интеллектуальных систем. Обуславливается необходимость верификации моделей, созданных на основе таких сетей. Предлагается использование графовых инструментов анализа, отражающих смену состояний в подобных сетях. Приводится пример построения таких графов для модели простой системы управления. Работа выполнена при финансовой поддержке РФФИ (проект № 14-01-00427) и Фонда содействия инновациям. | ru_RU |
dc.language.iso | ru | ru_RU |
dc.publisher | БГУИР | ru_RU |
dc.subject | Petri nets | ru_RU |
dc.subject | temporal model | ru_RU |
dc.subject | материалы конференций | ru_RU |
dc.subject | сети Петри | ru_RU |
dc.subject | модифицированные сети Петри | ru_RU |
dc.subject | темпоральные модели | ru_RU |
dc.subject | системы управления | ru_RU |
dc.title | Анализ и верификация раскрашенных сетей Петри реального времени с поддержкой логики Аллена | ru_RU |
dc.title.alternative | Analysis and verification of realtime colored Petri nets with support of Allen's logic | ru_RU |
dc.type | Статья | ru_RU |
local.description.annotation | In work analysis of temporal Petri nets' subclass, proposed by research group for intelligent systems' modeling, is considered. | - |
Appears in Collections: | OSTIS-2014
|