Abstract: The authentication of Web service combination is the key to ensure the normal working of the combination service.Many methods of current Web service combination are half-formalized，which can produce many errors and not easy to be detected，so the correctness is hard to be ensured.The paper introduces the transfer matrix to analyze the deadlock problem in Web service combination，and adopt incidence matrix to ensure the accessibility of combination.Fuzzy reasoning Petri net is the reasoning method of formalization authentication，which can achieve the credibility authentication，credibility and accessibility of the service combination.The result of the experiment shows that the method is a good authentication method.

Key words: Petri net, incidence matrix, transfer matrix, credibility

摘要： Web服务组合验证是确保组合服务正常执行的关键，现有的许多Web服务组合描述都是半形式化的，容易出错和不容易检测，因此正确性难以保证。采用转移矩阵方法来分析Web服务组合中存在的死锁问题，并采用关联矩阵的方法确认组合的可达性。利用模糊推理Petri网算法进行可信度验证、计算服务组合的可信度及可达性，对于Web服务组合是一种可以推理的形式化验证方法。实验结果表明这种方法是一种很好的验证方法。

关键词: Petri网, 关联矩阵, 转移矩阵, 可信度