Analyzing the procedure for AMP enabled operation in Bluetooth 3.0 using Colored Petri Nets | IEEE Conference Publication | IEEE Xplore