Запис е-пошти: Modelado del establecimiento de la conexión entre dos dispositivos bluetooth usando las redes de Petri coloreadas