Modeling of Communication Systems Using Stochastic Petri Nets