Pošljite SMS: Uso de Redes de Petri Coloreadas para la Formalización y Análisis de la Activación de Operaciones de la Capa MAC/Física Alternativa (AMP) en Bluetooth 3.0