Modelado y análisis de los procesos de creación, cambios y terminación de una conexión entre pares de entidades de la capa MAC en IEEE 802.16 utilizando redes de Petri coloreadas
Se presentaron de manera formal y detallada, los procedimientos involucrados en la gestión de las conexiones enmarcados en la Especificación del Servicio en la MAC IEEE 802.16 utilizando las CPNs. Igualmente, han sido determinadas las posibles secuencias de ocurrencias de primitivas de servicio y re...
Saved in:
| Udgivet: |
2011
|
|---|---|
| Fag: | |
| Online adgang: | http://hdl.handle.net/10872/10117 |
| Tags: |
Ingen Tags, Vær først til at tagge denne postø!
|
Lignende værker: Modelado y análisis de los procesos de creación, cambios y terminación de una conexión entre pares de entidades de la capa MAC en IEEE 802.16 utilizando redes de Petri coloreadas
- Especificación formal del protocolo para la gestión de las conexiones en Mac IEEE 802.16 utilizando redes de petri coloreadas (CPN)
- Modelado y análisis del mecanismo de retransmisión de bloques ARQ en la capa MAC del IEEE 802.16 utilizando Redes de Petri Coloreadas (CPNs)
- Una Revisión Formal a la Especificación del Servicio para la Gestión de las Conexiones en la Capa MAC IEEE 802.16
- Analysis of the Dynamic Service Flow Management Transactions Protocol for MAC IEEE 802.16. An Aproach
- Uso de Redes de Petri Coloreadas para la Formalización y Análisis de la Activación de Operaciones de la Capa MAC/Física Alternativa (AMP) en Bluetooth 3.0
- Modelado y análisis del establecimiento de una conexión bandabase de bluetooth usando las redes de Petri coloreadas