Αποστολή με SMS: Stochastic Petri Nets for Wireless Networks