[本文摘要]

为了使Petri网理论与方法在服务组合相关问题中得到实际应用，从软件实现的角度，解决面向Web服务组合的Petri网的自动生成问题，本文提出了基于Petri网的Web服务注册方法。首先根据已建立的领域本体来规范Web服务各参数的定义，然后依据Web服务的输入输出参数绘制其相应的Petri网，同时对Web服务Petri网中的库所元素添加语义标记，进而得到Web服务的PNML（Petri network markup language）+OWL（ontology web language）描述，最后将Web服务相关信息及其PNML+OWL文件上传至服务器端进行注册和存储，为Web服务组合的Petri网自动生成提供了基础，并通过机票查询原子Web服务与旅游查询复合Web服务对本文方法进行了具体说明。