Диагностирование параллельных сбоев иерархической структурированной сети Петри на основе обратимых и динамических механизмов декомпозиции

Yinhong XIANG ,  

Kaiqing ZHOU ,  

Arezoo SARKHEYLI-HÄGELE ,  

Yusliza YUSOFF ,  

Diwen KANG ,  

Azlan Mohd ZAIN ,  

Abstract

Как и сеть Петри, исследование размытых сетей Петри (fuzzy Petri net, FPN) также ограничено проблемой взрывного образования пространства состояний. В настоящее время основные алгоритмы рассуждения на основе FPN зависят от механизмов прямого, обратного и двунаправленного движения. Эти алгоритмы упрощают процесс рассуждения путем устранения несвязанных частей FPN. Однако с увеличением масштаба сложность связанных алгоритмов, основанных на FPN, быстро возрастает, что представляет собой огромное вызов для практического применения алгоритмов рассуждения, основанных на FPN. Для решения проблемы взрывного образования состояний в данной статье предлагается двунаправленный алгоритм рассуждения на основе FPN с обратимым и динамическим механизмом декомпозиции для оптимизации процесса рассуждения. Этот алгоритм декомпозирует иерархически структурированную сеть Петри HFPN на две подсети: левую и правую. Затем анализируется глубокая взаимосвязь между исходной сетью Петри и обратным элементом ее сети и предлагается алгоритм генерации обратной сети FPN для создания обратной сети правой подсети. Наконец, на левой и правой подсетях одновременно выполняется алгоритм рассуждения, путем вычисления евклидова расстояния между позициями вывода обеих подсетей, для получения окончательных результатов. Примеры показывают, что предложенный алгоритм рассуждения значительно повышает эффективность рассуждения, существенно сокращая время выполнения.

Keywords

Размытая сеть Петри (FPN) ; Взрыв образования состояний ; Декомпозиция ; Параллельный ; Двунаправленное рассуждение

READ MORE