Web service combination analysis method based on net theory

The invention provides a web service combination analysis method based on the net theory. The analysis method starts from Petri net modeling of a Web service combination, the boundedness, the accessibility and the activity of the Web service combination are analyzed, and the analysis method based on the Web service combination quality of the Petri net technology is built. The web service combination analysis method based on the net theory adopts the Petri net analysis technology and starts from the two analysis methods of a accessible marking graph and a coverage graph, the boundedness, the accessibility and the activity of the Web service combination are analyzed, and therefore whether the Web service combination is correct or not is determined, and users are better served.