基于标签Petri网的OWL-S建模与分析  

Modeling and Analysis for OWL-S Based on Labelled Petri Net

作　　者：李景霞[1] 肖政[1] 侯紫峰[2] 

机构地区：[1]中国科学院计算所 [2]联想研究院,北京100085

出　　处：《计算机工程》2007年第7期8-10,共3页Computer Engineering

基　　金：国家"863"计划基金资助项目(2005AA142030)

摘　　要：提出了OWL-S过程模型的标签Petri网建模方法,给出了过程模型到LPN的转换规则,利用LPN分析方法对模型进行了可达性分析、死锁检测,能有效地检验过程模型描述的正确性。在OWL-S编辑器中嵌入该功能,完善了编辑器的功能。This paper presents a model for OWL-S process model based on labelled Petri net and gives the transformation rule from process model to LPN. It utilise LPN analysis methods to analyze teachability of the obtained model and check whether there are deadlocks. This method validates the correctness of corresponding process model description in OWL-S editor environment.

关 键 词：OWL—S过程模型 标签Petri网 可达性 死锁 Petri网标记语言 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]