Skip navigation
Please use this identifier to cite or link to this item: https://libeldoc.bsuir.by/handle/123456789/26046
Full metadata record
DC FieldValueLanguage
dc.contributor.authorЕремеев, А. П.-
dc.contributor.authorКоролев, Ю. И.-
dc.date.accessioned2017-10-04T13:02:26Z-
dc.date.available2017-10-04T13:02:26Z-
dc.date.issued2014-
dc.identifier.citationЕремеев, А. П. Анализ и верификация раскрашенных сетей Петри реального времени с поддержкой логики Аллена / А. П. Еремеев, Ю. И. Королев // Открытые семантические технологии проектирования интеллектуальных систем = Open Semantic Technologies for Intelligent Systems (OSTIS-2014) : материалы IV междунар. науч.-техн. конф. (Минск, 20-22 февраля 2014 года) / редкол.: В. В. Голенков (отв. ред.) [и другие]. – Минск : БГУИР, 2014. – С. 461 - 464.ru_RU
dc.identifier.urihttps://libeldoc.bsuir.by/handle/123456789/26046-
dc.description.abstractРассматриваются вопросы анализа темпорального подкласса сетей Петри, предложенного для моделирования интеллектуальных систем. Обуславливается необходимость верификации моделей, созданных на основе таких сетей. Предлагается использование графовых инструментов анализа, отражающих смену состояний в подобных сетях. Приводится пример построения таких графов для модели простой системы управления. Работа выполнена при финансовой поддержке РФФИ (проект № 14-01-00427) и Фонда содействия инновациям.ru_RU
dc.language.isoruru_RU
dc.publisherБГУИРru_RU
dc.subjectPetri netsru_RU
dc.subjecttemporal modelru_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.alternativeAnalysis and verification of realtime colored Petri nets with support of Allen's logicru_RU
dc.typeСтатьяru_RU
local.description.annotationIn work analysis of temporal Petri nets' subclass, proposed by research group for intelligent systems' modeling, is considered.-
Appears in Collections:OSTIS-2014

Files in This Item:
File Description SizeFormat 
Eremeyev_Analiz.PDF1.17 MBAdobe PDFView/Open
Show simple item record Google Scholar

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