基于语义的Petri网自动共享合成方法研究  

Automatic Sharing Synthesis of Petri Nets Based on Semantics

作　　者：相东明[1,2] 马炳先[1,2] 张正明[1,2] 

机构地区：[1]山东省网络环境智能计算技术重点实验室,济南250022 [2]济南大学信息科学与工程学院,济南250022

出　　处：《系统仿真学报》2012年第11期2237-2242,共6页Journal of System Simulation

基　　金：国家自然科学基金(60903099);山东省优秀中青年科学家奖励基金(BS2009DX012);山东省高等学校科技计划项目(J09LG14)

摘　　要：提出了基于语义技术的Petri网自动共享合成方法。根据已经建立好的的领域本体,为Petri网中的所有库所添加语义标记,使其与已有的语义库建立联系。再通过Jena检索及推理技术来确定各个Petri网中的可融合库所,进而按照给定的语义合并规则来对可融合库所进行合并操作,以实现Petri网的自动共享合成。最后以服务计算为场景,讨论了利用语义技术来自动共享合成得到Web服务组合所需的Petri网的方法,并结合网上购书的Web服务组合实例,验证了该方法的正确性及可行性。A new method to carry out automatic sharing synthesis of Petri nets based on semantic technology was proposed. On the basis of domain ontology, semantic markups were added to all place elements of each Petri net. According to the given rules, place elements that could be integrated were located through ontology querying and reasoning. And then the synthesis of Petri nets could be realized. At last, the method to automatically get Petri net model of web services composition was discussed with online book-shopping service composition, and its correctness and feasibility were also verified.

关 键 词：PETRI网 共享合成 语义标记 本体 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]