吉林大学学报（信息科学版）2011，Vol.29Issue(6)：590-594,5.
基于Petri网工作流过程模型合理性验证方法
Approach to Verify Soundness of Workflow Process Models Based on Petri Net
王立君 1郭晓冬2
作者信息
- 1. 长春工业大学信息传播工程学院,长春130012
- 2. 长春市工程咨询服务中心,长春130042
- 折叠
摘要
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.关键词
工作流/过程建模/Petri网/合理性验证Key words
workflow/ process modeling/ Petri net/ verification of soundness分类
信息技术与安全科学引用本文复制引用
王立君,郭晓冬..基于Petri网工作流过程模型合理性验证方法[J].吉林大学学报（信息科学版）,2011,29(6):590-594,5.
