Issue:Modelling of the short message service by generalized nets