Service Composition Method Based On Fuzzy Timing Petri Net

China has the world’s most abundant manufacturing resources, but China’s manufacturing sector manufacturing methods used in the rough, but greatly limits the utilization of manufacturing resources. Things serious shortage led to a large manufacturing enterprise resource idle, how the convergence of global manufacturing resources and capabilities to achieve the optimal allocation of becoming a serious problem. Become a serious problem. Things serious shortage led to a large manufacturing enterprise resource idle, how the convergence of global manufacturing resources and capabilities to achieve optimal allocation.This paper uses fuzzy timing Petri net to describe and study of cloud manufacturing service composition method, the main contents are as follows:First, the proposed method for cloud computing manufacturing services Qos statistical confidence and credibility of the original value of the reliability values based on the right to adjust the value of the function. The algorithm clearly defined dependencies of basic services, can be more accurate all the cloud manufacturing services organically combine to form a great service dependency graph.Second, the article describes the basic manufacturing services between cloud dependencies fuzzy calculation based on generation after proposed based on these fundamental dependency service dependency graph algorithms. The algorithm clearly defined dependencies of basic services, can be more accurate all the cloud manufacturing services organically combine to form a great service dependency graph.Third, the paper concludes with a service composition verification algorithms based on fuzzy timing Petri net. After the forward and backward reasoning, if the algorithm is successful return will get a service dependency subgraph algorithm uses temporal logic to verify an accurate description of the sub-process diagram and use timing logic of this rigorous mathematical methods to verify the existence of sub-map deadlock then judge subgraph activity and accessibility to ensure the correctness of the service process.