摘要： 使用Stochastic Petri Net对WSC进行建模, 将四种基本结构(sequence, concurrent, choice and loop)映射到PN, 并给出和证明这四种结构的delay time计算公式(假设web service的delay time符合指数分布). complex service由以上四种基本结构组合而成, 通过迭代化简, 最终计算出该complex service的delay time. 阅读全文