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

• 作者: 侯紫峰 李景霞 肖政
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: OWL-S过程模型 标签Petri网 可达性 死锁 Petri网标记语言
• 年，卷（期）: 2007,（7）
• 所属期刊栏目: 博士论文
• 页码范围: 8-10
• 页数: 3页
• 分类号: TP393
• 字数: 3384字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2007.07.003

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	侯紫峰		52	855	14.0	27.0
2	肖政	中国科学院计算所	6	91	5.0	6.0
6	李景霞	中国科学院计算所	3	30	3.0	3.0