Verificación de la opacidad del estado actual en sistemas de eventos discretos mediante el uso de gráficos de cubrimiento de base
Autores: Zhu, Haoming; El-Sherbeeny, Ahmed M.; El-Meligy, Mohammed A.; Fathollahi-Fard, Amir M.; Li, Zhiwu
Idioma: Inglés
Editor: MDPI
Año: 2023
Acceso abierto
Artículo científico
2023
Verificación de la opacidad del estado actual en sistemas de eventos discretos mediante el uso de gráficos de cubrimiento de base
Categoría
Matemáticas
Subcategoría
Matemáticas generales
Palabras clave
Verificación
Opacidad
Redes de Petri no acotadas
Transiciones
Lugares
Marcados
Licencia
CC BY-SA – Atribución – Compartir Igual
Consultas: 20
Citaciones: Sin citaciones
Se propone un nuevo enfoque para la verificación de la opacidad del estado actual de los sistemas de eventos discretos en este documento, que está modelado con redes de Petri ilimitadas.
Descripción
Se propone un nuevo enfoque para la verificación de la opacidad del estado actual de los sistemas de eventos discretos en este documento, que está modelado con redes de Petri ilimitadas.