Rationality Validation Algorithm Based on Petri Net

Hai-Lan Pan ； An-Bao Wang ； Cui-Hong Wu

《Research Journal of Applied Sciences, Engineering and Technology》 4卷24期 (2012/12) Pp. 5561-5564

並列摘要

In order to inspect the correctness of workflow during process design and avoid exceptions after processes run, this study provides rationality Validation Algorithm based on Petri Net. Firstly the study points out the necessity of rationality validation in workflow model, then analyzes all kinds of existing validation algorithm of workflow model rationality and emphatically describes a validation algorithm based on Petri net. At last this algorithm is improved and the correctness of the algorithm is verified by an instance.

並列關鍵字

Petri net ； rationality ； state reachability ； validation algorithm