Hao Yin, Zhangxi Tan, Chuang Lin, Yixin Jiang, Feng Qiu: Modeling mobile Web services flow using generalized stochastic high-level Petri net. SMC (5) 2004: 4953-4958