Modeling and optimization of Web service process based on Petri net

Web service is a service-oriented distributed computing model, which provides a platform-independent, self-described, distributed software component. It is a loose-coupled and application interoperability platform to implement business processes. The key goal of Web service composition is integration and collaboration of Web service process. And, the Web service process model plays an important part in integration and collaboration. With the advantages of formal semantic definition, visually graphical expression, rigorous mathematical foundation and description based on state, the Petri net is more and more widely applied to model and optimize the workflow process. We establish web service process model based on Petri net, then we verify and analysis the correctness of the model of Petri net with strong analytical skills and means. A practical application of the Web service process modeling based on Petri net is presented in this paper. We convert the actual business processes into Petri net model and use reachability and dynamic simulation to verify the correctness of the model to achieve the desired results.