Formal and Executable Specification of Random Waypoint Mobility Model Using Timed Coloured Petri Nets for WMN

CONTENIDO PARA USUARIOS REGISTRADOS

Inicia sesión para disfrutar este recurso. Si aún no estás afiliado a BibloRed, haz clic en el botón.

Descripción: La red de malla inalámbrica (WMN, por sus siglas en inglés) es un paradigma emergente y rentable como alternativa para las redes inalámbricas de próxima generación en diversas aplicaciones. En la evaluación del rendimiento del protocolo de enrutamiento para la WMN, es esencial que se evalúe bajo condiciones realistas. La utilidad de un protocolo de movilidad específico puede determinarse mediante la selección del modelo de movilidad. Este artículo introduce un modelo formal basado en redes de Petri coloreadas (CP-nets) para la implementación, simulación y análisis del modelo de movilidad de punto de referencia aleatorio (RWP, por sus siglas en inglés) más ampliamente utilizado para las WMNs. La semántica formal de los CP-nets temporizados jerárquicos nos permite investigar el comportamiento de terminación de las transiciones utilizando técnicas de análisis del espacio de estados. La implementación propuesta mejora el modelo de movilidad RWP al eliminar el problema de... y resolver el problema de...
Citación recomendada (normas APA)
: Hindawi Publishing Corporation, "Formal and Executable Specification of Random Waypoint Mobility Model Using Timed Coloured Petri Nets for WMN", -:Revista VirtualPRO,, 2014. Consultado en línea en la Biblioteca Digital de Bogotá (https://www.bibliotecadigitaldebogota.gov.co/resources/3946478/), el día 2025-08-04.

Información adicional