SMS dit: 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