Author(s): LI Jingxia, XIAO Zheng, HOU Zifeng
Pages: 8-10
Year: 2007 Issue:  7
Journal: COMPUTER ENGINEERING
Keyword:  OWL-S过程模型; 标签Petri网; 可达性; 死锁; Petri网标记语言;
Abstract: 提出了OWL-S过程模型的标签Petri网建模方法,给出了过程模型到LPN的转换规则,利用LPN分析方法对模型进行了可达性分析、死锁检测,能有效地检验过程模型描述的正确性.在OWL-S编辑器中嵌入该功能,完善了编辑器的功能.