logo móvil
Contáctanos

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

Descargar PDF

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


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.

Otros recursos que podrían interesarte

Temas Virtualpro