Colored Petri Nets for Modeling Congestion Control in Wireless Sensor Networks with Retrials | IEEE Conference Publication | IEEE Xplore