Al igual que las redes de Petri, la investigación sobre la red de Petri difusa (FPN) también se ve limitada por el problema de la explosión del espacio de estados. Actualmente, el énfasis principal de los algoritmos de razonamiento basados en FPN se centra en los mecanismos positivos, negativos y bidireccionales. Estos algoritmos simplifican el proceso de razonamiento mediante la eliminación de las partes no relevantes de FPN. Sin embargo, con el aumento de la escala, la complejidad de los algoritmos de aplicación relevantes basados en FPN aumenta rápidamente, lo que representa un desafío importante para la aplicación práctica de los algoritmos de razonamiento basados en FPN. Para resolver el problema de la explosión del estado, este artículo propone un algoritmo de razonamiento bidireccional basado en un mecanismo de descomposición reversible y dinámica de FPN para optimizar el proceso de razonamiento. Este algoritmo descompone el FPN superpuesto en dos subredes izquierda y derecha; luego, analizando en profundidad las relaciones entre la red FPN original y su subred inversa, se propone un algoritmo de generación de red inversa FPN para crear una red inversa de la subred derecha; finalmente, se realiza el razonamiento simultáneamente en las subredes inversas izquierda y derecha, calculando la distancia euclidiana entre las posiciones de salida de las dos subredes, para obtener el resultado final. Los estudios de caso muestran que el algoritmo de razonamiento propuesto en este artículo mejora significativamente la eficiencia del razonamiento y reduce considerablemente el tiempo de ejecución.
Keywords
Red de Petri difusa (FPN); explosión del estado; descomposición; paralelo; razonamiento bidireccional