| Title: | Минимизация графа достижимых состояний параллельного автомата |
| Other Titles: | Minimization of the reachability graph for a parallel automaton |
| Authors: | Черемисинова, Л. Д. |
| Keywords: | материалы конференций;параллельные автоматы;граф достижимых состояний;тестирование дискретных устройств |
| Issue Date: | 2023 |
| Publisher: | БГУИР |
| Citation: | Черемисинова, Л. Д. Минимизация графа достижимых состояний параллельного автомата / Л. Д.Черемисинова // BIG DATA и анализ высокого уровня = BIG DATA and Advanced Analytics : сборник научных статей IX Международной научно-практической конференции, Минск, 17–18 мая 2023 г. : в 2 ч. Ч. 1 / Белорусский государственный университет информатики и радиоэлектроники ; редкол.: В. А. Богуш [и др.]. – Минск, 2023. – С. 341-347. |
| Abstract: | Рассматривается проблема тестирования управляющих систем, которым присущ параллелизм
происходящих в них процессов. В качестве языка задания таких систем используется модель параллельного автомата,
представляющая собой подкласс цветных сетей Петри. Анализ поведенческих свойств параллельного автомата
проводится на основе его графа достижимости, вершинам которого соответствуют все возможные разметки
состояний, число которых растет экспоненциально с ростом степени параллельности состояний. В работе
предлагается метод минимизации графа достижимости путем сокращения числа его вершин на основе введения
доопределения частичного порядка на множестве параллельно срабатывающих переходов автомата. |
| Alternative abstract: | The 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. |
| URI: | https://libeldoc.bsuir.by/handle/123456789/51575 |
| Appears in Collections: | BIG DATA and Advanced Analytics = BIG DATA и анализ высокого уровня : сборник научных статей (2023)
|
