语义Web 服务的研究目的是使得用户软件主体能够理解服务,并对其进行自动处理。但现有的研究是基于静态语义描述的,不能解决动态语义描述的各种问题,尤其是服务的并发执行。Petri网作为系统描述与分析的工具,具有并发性的特点,已经广泛应用于各个领域。语义Web服务可以通过OWL-S服务来描述,它的动态描述要求能够准确刻画服务的功能及具体工作方式,即服务的操作语义;如果可以利用Petri 网对OWL-S 服务进程(特别是复合进程)的操作语义进行描述,就可以解决服务的并发性的问题,对动态服务的自动发现、