Text this: Using Coloured Petri Nets for Evaluating the Power Consumption of Wireless Sensor Networks