Analyzing Services Composition Using Petri Nets

In this paper, a Petri Net-based method is proposed to model and analyze service composition process. The service composition is related to structure and interaction association. This paper first studies structure association service composition description language BPEL; while to the service interaction, it models the interactive features by applying Petri Net. It gives the definition of Composited Service Stochastic Petri Net and gives the mapping method, containing structure and interaction associated service composition modeling and simplification method, and analysis of the model. The approach is validated through a case, and further research directions are pointed out.