Resumen

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...

• Materias:Ecuaciones diferenciales Ecuaciones integrales Variables independientes Sistemas dinámicos Combinaciones convexas
• Subjects:Differential equations Integral equations Independent variables Dynamic systems Convex combinations
• Palabras claves:Red inalámbrica en malla; Protocolo de enrutamiento; Protocolo de movilidad; Modelo de movilidad; Redes de Petri; Técnicas de simulación
• Keywords:Wireless mesh network; Routing protocol; Mobility protocol; Mobility model; Petri nets; Simulation techniques