Application of Colored Petri Net in Model for Web Service Composition
基于颜色Petri网的Web服务组合建模及应用

This paper presents a colored Petri net-based model for Web service and service composition.Based on this model it can describe both control link and data link of Web service's inner structure.Moreover it also provides the formal fire rule of modeling the execution of Web service.Thus the model can describe Web service and service composition in both static and dynamic aspects.At last it delivers a concise application instance model based on colored Petri net.