|
Abstract
|
Article Information:
Rationality Validation Algorithm Based on Petri Net
HaiLan Pan, AnBao Wang and CuiHong Wu
Corresponding Author: HaiLan Pan
Submitted: April 25, 2012
Accepted: May 13, 2012
Published: December 15, 2012 |
Abstract:
|
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.
Key words: Petri net, rationality, state reachability, validation algorithm, , ,
|
|
Abstract
|
PDF
|
HTML |
|
Cite this Reference:
HaiLan Pan, AnBao Wang and CuiHong Wu, . Rationality Validation Algorithm Based on Petri Net. Research Journal of Applied Sciences, Engineering and Technology, (24): 5561-5564.
|
|
|
|
 |
ISSN (Online): 2040-7467
ISSN (Print): 2040-7459 |
 |
| Information |
|
|
|
|
| Sales & Services |
|
|
|
|
