| 基于Petri网工作流过程模型合理性验证方法 |
| |
| 引用本文： | 王立君,郭晓冬.基于Petri网工作流过程模型合理性验证方法[J].吉林大学学报(信息科学版),2011,29(6):590-594. |
| |
| 作者姓名： | 王立君 郭晓冬 |
| |
| 作者单位： | 1.长春工业大学 信息传播工程学院,长春 130012;2.长春市工程咨询服务中心,长春 130042 |
| |
| 摘 要： | 为保证工作流建模过程的正确性,对基于Petri网的过程建模中存在的潜在错误进行了归纳和总结,分析了合理的工作流过程模型应该满足的条件和要求,并针对自由选择网提出了一种有效的合理性验证算法.实验证明,该算法在实际应用中具有可操作性,有较强的现实意义.
|
| 关 键 词： | 工作流 过程建模 Petri网 合理性验证 |
Approach to Verify Soundness of Workflow Process Models Based on Petri Net |
| |
| WANG Li-jun,GUO Xiao-dong.Approach to Verify Soundness of Workflow Process Models Based on Petri Net[J].Journal of Jilin University:Information Sci Ed,2011,29(6):590-594. |
| |
| Authors: | WANG Li-jun GUO Xiao-dong |
| |
| Institution: | 1.Institute of Information Spreading Engineering|Changchun University of Technology,Changchun 130012,China;
2.Changchun Engineering Consulting Service Center,Changchun 130042,China |
| |
| 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. |
| |
| Keywords: | workflow process modeling Petri net verification of soundness |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《吉林大学学报(信息科学版)》浏览原始摘要信息 |
| 点击此处可从《吉林大学学报(信息科学版)》下载免费的PDF全文 |
