Desde la inclusion de Bluetooth low energy en el estandar Bluetooth 4.0, este se ha convertido de hecho en un estandar dentro del Internet de las cosas. ya que permite la rapida conexión de dispositivos.
La gran aceptación de este estandar en el industria de los mobiles, ha hecho que se propongan nuevas topologias de la redi y algoritmos para la conexión de dispositivos, de forma que se consiga una conexion mas fiable y con menos consumo de energia.
El objetivo principal de este TFG será el estudio de algunos de los protocolos propuestos, y su especificación y analisis mediante el uso de tecnicas formales. Concretamente se utilizará las redes de petri+