摘要： 作为企业应用集成的重要手段，Web 服务组合需要建立可靠的表达和分析方法。因此，基于Petri 网技术定义一个Web 服务组合模型，将组合Web 服务的要素映射到Petri 网结构。利用Petri 网提供的分析技术，辅助复杂业务流程的建模，并分析验证其正确性和性能。

关键词: Web 服务；Web 服务组合；Petri 网

Abstract: In EAI applications, most business processes are implemented by the composition of Web services. The modeling techniques are desired for reliable Web service composition. A model for Web service composition is proposed based on Petri nets. Components of composite Web services are translated into Petri nets representations. With tools Petri nets providing, the composite Web services can be well verified to aid the business processes constructions

Key words: Web services; Web service composition; Petri nets