Отправить по sms: Stochastic Petri Nets for Wireless Networks