Modelado y análisis del establecimiento de una conexión bandabase de bluetooth usando las redes de Petri coloreadas

Abstract

Con el proyecto modela el procedimiento para establecer una conexión entre dos dispositivos Bluetooth, uno maestro y uno esclavo, utilizando redes de Petri coloreadas. Ha validado el modelo usando la técnica del espacio de estado. El modelo se comporta acorde a lo esperado. Adicionalmente prueba en varias implementaciones de Bluetooth, la conexión bandabase en diferentes dispositivos (teléfonos celulares, dongles, asistentes personales digitales. Logra una especificación clara y precisa del procedimiento a través del uso de las redes de Petri coloreadas y la valida en función de las propiedades básicas de las Redes. Realiza pruebas reales de implementación Bluetooth de diversos fabricantes.