Skip navigation
Please use this identifier to cite or link to this item: https://libeldoc.bsuir.by/handle/123456789/51575
Full metadata record
DC FieldValueLanguage
dc.contributor.authorЧеремисинова, Л. Д.-
dc.coverage.spatialМинскru_RU
dc.date.accessioned2023-05-25T07:37:52Z-
dc.date.available2023-05-25T07:37:52Z-
dc.date.issued2023-
dc.identifier.citationЧеремисинова, Л. Д. Минимизация графа достижимых состояний параллельного автомата / Л. Д.Черемисинова // BIG DATA и анализ высокого уровня = BIG DATA and Advanced Analytics : сборник научных статей IX Международной научно-практической конференции, Минск, 17–18 мая 2023 г. : в 2 ч. Ч. 1 / Белорусский государственный университет информатики и радиоэлектроники ; редкол.: В. А. Богуш [и др.]. – Минск, 2023. – С. 341-347.ru_RU
dc.identifier.urihttps://libeldoc.bsuir.by/handle/123456789/51575-
dc.description.abstractРассматривается проблема тестирования управляющих систем, которым присущ параллелизм происходящих в них процессов. В качестве языка задания таких систем используется модель параллельного автомата, представляющая собой подкласс цветных сетей Петри. Анализ поведенческих свойств параллельного автомата проводится на основе его графа достижимости, вершинам которого соответствуют все возможные разметки состояний, число которых растет экспоненциально с ростом степени параллельности состояний. В работе предлагается метод минимизации графа достижимости путем сокращения числа его вершин на основе введения доопределения частичного порядка на множестве параллельно срабатывающих переходов автомата.ru_RU
dc.language.isoruru_RU
dc.publisherБГУИРru_RU
dc.subjectматериалы конференцийru_RU
dc.subjectпараллельные автоматыru_RU
dc.subjectграф достижимых состоянийru_RU
dc.subjectтестирование дискретных устройствru_RU
dc.titleМинимизация графа достижимых состояний параллельного автоматаru_RU
dc.title.alternativeMinimization of the reachability graph for a parallel automatonru_RU
dc.typeArticleru_RU
local.description.annotationThe problem of testing control systems, which are inherent in the parallelism of the processes occurring in them, is considered. The parallel automaton model, which is a subclass of colored Petri nets, is used as a language for specifying such systems. The analysis of the behavioral properties of a parallel automaton is carried out on the basis of its reachability graph, the vertices of which correspond to all possible states markings, the number of which grows exponentially with an increase in the degree of parallelism of states. The paper proposes a method for minimizing the reachability graph by reducing the number of its vertices based on the introduction of the extension of the partial order on the set of parallel firing the automaton transitions.ru_RU
Appears in Collections:BIG DATA and Advanced Analytics = BIG DATA и анализ высокого уровня : сборник научных статей (2023)

Files in This Item:
File Description SizeFormat 
Cheremisinova_Minimizaciya.pdf784.48 kBAdobe PDFView/Open
Show simple item record Google Scholar

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