Text this: Modelado del establecimiento de la conexión entre dos dispositivos bluetooth usando las redes de petri coloreadas