论文部分内容阅读
Web服务组合是web服务发展的一种新的方向，而Petri网作为形式化的建模工具，在服务组合中扮演着重要角色，不仅可以辅助服务组合的设计，还可以更好地对组合流程进行分析和验证。文章对各种Petri网在基于工作流、人工智能（AJ）的Web服务组合中的应用以及基于Petri网的Web服务形式化组合方法进行了综述，并指出了Petri网在服务组合工作中的作用和重要性。最后对研究进行了总结，指出了下一步的工作。