中文摘要：

广泛研究使用的OWL-Sweb服务交互规范作为一种半形式化的描述语言，在服务组合的验证上存在缺陷。而Petri网作为一种模型描述语言，尤其适合并发系统的描述。因此，使用Petri网对OWL-S流程模型进行建模，通过将工作流信息转化为Petri网描述，从而对OWL-S流程模型进行安全性（safeness）活性（hveness）检验，是一个非常有意义的尝试。此外，对Petri网的分析与优化，能够反作用于OWL-S流程模型，消除原有模型的冗余并提高流程模型的合理性。

英文摘要：

Wildly used Web Services interaction specification--OWL-S, is not a completely formal description language, which can not verify composition of Web Services. However, Petri-Net is a kind of system model, which especially suitable for describing concurrent system. So modeling the Web Services interaction protocol with Petri-Net and converting OWL-S process information to Petri-Net description, is potential approach of verifying safeness and liveness. Additional, by analyzing and optimizing Peril-Net model, it is possible to optimize the process model of OWL-S and make it more reasonable.