Analyzing the procedure for AMP enabled operation in Bluetooth 3.0 using Colored Petri Nets. - Mayerlin Blanco; María Elena Villapol (GIIS, 2012)