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

被引：8

作者：

李景霞 ^{[1
]}

肖政 ^{[1
]}

侯紫峰 ^{[2
]}

机构：

[1] 中国科学院计算所

[2] 联想研究院

来源：

计算机工程 | 2007年 / 07期

关键词：

OWL-S过程模型; 标签Petri网; 可达性; 死锁; Petri网标记语言;

D O I：

暂无

中图分类号：

TP393.09 [];

学科分类号：

080402 ;

摘要：

提出了OWL-S过程模型的标签Petri网建模方法,给出了过程模型到LPN的转换规则,利用LPN分析方法对模型进行了可达性分析、死锁检测,能有效地检验过程模型描述的正确性。在OWL-S编辑器中嵌入该功能,完善了编辑器的功能。

引用

收藏

页码：8 / 10

页数：3

相关论文

empty

未找到相关数据