基于Petri网工作流过程模型合理性验证方法

J4 ›› 2011, Vol. 29 ›› Issue (6): 590-594.

基于Petri网工作流过程模型合理性验证方法

王立君¹|郭晓冬²

1.长春工业大学信息传播工程学院|长春 130012;2.长春市工程咨询服务中心|长春 130042

出版日期:2011-11-24 发布日期:2011-12-06
作者简介:王立君（1970—）|男|吉林洮南人|长春工业大学副教授|主要从事计算机应用研究,（Tel）86-13604304528(E-mail)wanglijun@mail.ccut.edu.cn。

Approach to Verify |Soundness of Workflow Process Models Based on Petri Net

WANG Li-jun¹|GUO Xiao-dong²

1.Institute of Information Spreading Engineering|Changchun University of Technology,Changchun 130012,China;
2.Changchun Engineering Consulting Service Center,Changchun 130042,China

Online:2011-11-24 Published:2011-12-06

摘要/Abstract

摘要：

为保证工作流建模过程的正确性，对基于Petri网的过程建模中存在的潜在错误进行了归纳和总结，分析了合理的工作流过程模型应该满足的条件和要求，并针对自由选择网提出了一种有效的合理性验证算法。实验证明，该算法在实际应用中具有可操作性，有较强的现实意义。

关键词: 工作流, 过程建模, Petri网, 合理性验证

Abstract:

In order to ensure the correctness of workflow modeling process,we conclude the potential errors for workflow process models based on the Petri net. On the basis of the conclusion, we make an analysis of the requirements of a sound process modeling. Aimed at the free choice Petri net, an efficient verification algorithm is given.

Key words: workflow, process modeling, Petri net, verification of soundness

中图分类号:

TP302

王立君, 郭晓冬. 基于Petri网工作流过程模型合理性验证方法[J]. J4, 2011, 29(6): 590-594.

WANG Li-Jun, GUO Xiao-Dong. Approach to Verify |Soundness of Workflow Process Models Based on Petri Net[J]. J4, 2011, 29(6): 590-594.

[1]	吴海, 孙永雄, 付庆兴, 徐佳琪. UML图转有色Petri网图文法[J]. J4, 2011, 29(4): 356-364.
[2]	赵晓明,高宪军,梁广东. 基于HTPN战时通信装备维修保障系统建模[J]. J4, 2009, 27(04): 412-.
[3]	肖军\|邓海鸿\|高允锋\|周春贵\|刘雷. 基于Petri网的工作流建模及时间性能分析[J]. J4, 2009, 27(01): 104-.