logo móvil
Contáctanos

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

Descargar PDF

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


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.

Otros recursos que podrían interesarte

Temas Virtualpro