使用Stochastic Petri Net对WSC进行建模, 将四种基本结构(sequence, concurrent, choice and loop)映射到PN, 并给出和证明这四种结构的delay time计算公式(假设web service的delay time符合指数分布).
complex service由以上四种基本结构组合而成, 通过迭代化简, 最终计算出该complex service的delay time.
会找到这篇论文是因为"SPN+WSC"这两个关键词, 看了本文以后, 了解了GRC是一个普通的旅游会议(去年在杭州, 今年在庐山). 文中有一些比较明显的疏忽, 比如Fig 7中, "CPN"->"SPN", 图中choice结构也画错了.
另: 本文中虽然使用SPN来对WSC进行建模, 但是并没有使用SPN的一些性质和分析能力, 仅仅是用来做图示.