Gravar e-mail: Analysis of the Properties of the Bluetooth Baseband Connection Establishment Using Colored Petri Nets