sobre análisis de bloqueo y caracterización de redes de Petri etiquetadas con transiciones indistinguibles y no observables
Autores: Zaghdoud, Amal; Li, Zhiwu
Idioma: Inglés
Editor: MDPI
Año: 2024
Acceso abierto
Artículo científico
2024
sobre análisis de bloqueo y caracterización de redes de Petri etiquetadas con transiciones indistinguibles y no observables
Categoría
Matemáticas
Subcategoría
Matemáticas generales
Palabras clave
Análisis
Caracterización
Bloqueos
Redes de Petri
DIVs
DIMs
Licencia
CC BY-SA – Atribución – Compartir Igual
Consultas: 21
Citaciones: Sin citaciones
Este trabajo aborda el análisis y caracterización de bloqueos en sistemas de eventos discretos modelados por redes de Petri etiquetadas (LPNs) con transiciones indistinguibles e inobservables. Para proporcionar una solución al notorio problema, es esencial presentar una caracterización efectiva de tal manera que el control y síntesis de bloqueos sean técnicamente y metodológicamente posibles. Con este fin, introducimos la noción de vectores implícitos peligrosos (DIVs), que amenazan implícitamente la libertad de bloqueo del sistema. El conjunto de marcas muertas se divide en dos subconjuntos: marcas de base muertas (DBMs) y marcas implícitas peligrosas (DIMs). Se diseña un algoritmo para calcular los conjuntos de DIVs y DIMs en un estado base dado de un sistema. Además, mediante ecuaciones algebraicas lineales, formulamos condiciones suficientes para identificar la existencia de marcas bloqueantes en un LPN. Finalmente, se desarrolla un algoritmo para construir un grafo observado que es una presentación concisa del grafo de alcanzabilidad de un sistema de red, con respecto a la existencia de alcanzabilidad muerta. Al final de este documento, se presentan resultados experimentales que ilustran la corrección y efectividad de la solución reportada.
Descripción
Este trabajo aborda el análisis y caracterización de bloqueos en sistemas de eventos discretos modelados por redes de Petri etiquetadas (LPNs) con transiciones indistinguibles e inobservables. Para proporcionar una solución al notorio problema, es esencial presentar una caracterización efectiva de tal manera que el control y síntesis de bloqueos sean técnicamente y metodológicamente posibles. Con este fin, introducimos la noción de vectores implícitos peligrosos (DIVs), que amenazan implícitamente la libertad de bloqueo del sistema. El conjunto de marcas muertas se divide en dos subconjuntos: marcas de base muertas (DBMs) y marcas implícitas peligrosas (DIMs). Se diseña un algoritmo para calcular los conjuntos de DIVs y DIMs en un estado base dado de un sistema. Además, mediante ecuaciones algebraicas lineales, formulamos condiciones suficientes para identificar la existencia de marcas bloqueantes en un LPN. Finalmente, se desarrolla un algoritmo para construir un grafo observado que es una presentación concisa del grafo de alcanzabilidad de un sistema de red, con respecto a la existencia de alcanzabilidad muerta. Al final de este documento, se presentan resultados experimentales que ilustran la corrección y efectividad de la solución reportada.