El despliegue: orígenes, técnicas y aplicaciones dentro de los sistemas de eventos discretos
Autores: Rouabah, Younes; Li, Zhiwu
Idioma: Inglés
Editor: MDPI
Año: 2022
Acceso abierto
Artículo científico
2022
El despliegue: orígenes, técnicas y aplicaciones dentro de los sistemas de eventos discretos
Categoría
Matemáticas
Subcategoría
Matemáticas generales
Palabras clave
Técnicas de despliegue de redes
Sistemas de eventos discretos
Concurrencia
Relaciones causales
Problemas de entrelazamiento
Problema de explosión de estados
Licencia
CC BY-SA – Atribución – Compartir Igual
Consultas: 21
Citaciones: Sin citaciones
Este artículo tiene como objetivo proporcionar una perspectiva sobre los fundamentos y desarrollos de las técnicas de despliegue de redes y sus aplicaciones a los sistemas de eventos discretos. Los numerosos métodos aplicados a la concurrencia presentados en la literatura pueden dividirse aproximadamente en dos clases: aquellos que asumen que la concurrencia puede representarse mediante una forma no determinista y aquellos que representan la concurrencia mediante relaciones causales. Este estudio sirve como un punto de partida ideal para los investigadores interesados en la verdadera semántica de la concurrencia al ofrecer una concisa revisión de la literatura de una de las principales corrientes de investigación hacia los problemas de concurrencia e interleaving. Para hacer frente al problema de la explosión de estados, se utiliza el enfoque de despliegue. Basado en los hallazgos de la teoría de la concurrencia, las semánticas de interleaving son reemplazadas por una única red de ocurrencias parcialmente ordenada. En este documento, nuestro objetivo es proporcionar una revisión exhaustiva sobre la historia de los despliegues de redes, los métodos que se basan en estos despliegues y cómo se utilizan en sistemas de eventos discretos para verificación automática y propósitos de representaciones compactas.
Descripción
Este artículo tiene como objetivo proporcionar una perspectiva sobre los fundamentos y desarrollos de las técnicas de despliegue de redes y sus aplicaciones a los sistemas de eventos discretos. Los numerosos métodos aplicados a la concurrencia presentados en la literatura pueden dividirse aproximadamente en dos clases: aquellos que asumen que la concurrencia puede representarse mediante una forma no determinista y aquellos que representan la concurrencia mediante relaciones causales. Este estudio sirve como un punto de partida ideal para los investigadores interesados en la verdadera semántica de la concurrencia al ofrecer una concisa revisión de la literatura de una de las principales corrientes de investigación hacia los problemas de concurrencia e interleaving. Para hacer frente al problema de la explosión de estados, se utiliza el enfoque de despliegue. Basado en los hallazgos de la teoría de la concurrencia, las semánticas de interleaving son reemplazadas por una única red de ocurrencias parcialmente ordenada. En este documento, nuestro objetivo es proporcionar una revisión exhaustiva sobre la historia de los despliegues de redes, los métodos que se basan en estos despliegues y cómo se utilizan en sistemas de eventos discretos para verificación automática y propósitos de representaciones compactas.