SMS versenden: Stochastic Petri Nets for Wireless Networks