Web Service Automatic Composition Based on Extended Token of Petri Net
By analyzing the existing Web service composition，a automatic composition method of Web Service based on Petri net was been proposed. This paper primarily extended the Petri net’s tokens, which been expressed as the parameters of atomic services (the services can not be decomposed), as a model for Web services. Then the improved Web service composition method was used to compose the atomic services, making them flowing in the Petri net in accordance with the relationship between the composition of atomic services, and verify the correctness of the service. Finally a specific example was used to analyze and realize the service modeling and automatic composition process of Web service.
B. Yang and S. L. Song, "Web Service Automatic Composition Based on Extended Token of Petri Net", Applied Mechanics and Materials, Vols. 20-23, pp. 220-225, 2010