我国拥有世界上最丰富的制造业资源,但我国的制造业所使用的粗犷的制造方式却极大的限制了制造业资源的利用率。但“物联”严重不足的情况导致了大量制造企业资源闲置,如何汇聚全球制造资源与能力实现优化配置成为一个亟待解决的问题。科学家们借鉴云计算思想提出了云制造概念,本文对云制造技术进行了深入的研究,能够对云制造服务进行合理的组合并精简,可以极大改善我国制造业资源得不到充分利用的问题。本文使用模糊时序petri网来描述和研究云制造服务组合方法,论文主要工作如下:第一,提出了基于权值函数来调节可信度原值和统计可信度值的云制造服务Qos可信度计算方法。该方法可以保证在服务注册的可信度较快速且平滑的收敛于真实可信度,能够很好的避免基于统计的Qos可信度计算方法前期波动较大的问题。第二,在介绍了云制造服务之间基于模糊计算的基本的依赖关系的基础上,提出了基于云制造服务基本依赖关系的服务依赖关系图生成算法。该算法明确定义了服务的各种基本依赖关系,可以更加精确的把所有的云制造服务有机的结合在一起形成一张巨大的服务依赖关系图。第三,提出了基于时序petri网的服务组合验证算法。在正反向推理后,如果算法成功返回会得到一个服务依赖关系子图,验证算法利用时序逻辑来准确的描述子图的流程,并用时序逻辑推理这个严谨的数学方法来对子图检验是否存在死锁进而判断子图的活性和可达性,保证服务流程的正确性。