Home           Contact us           FAQs           
     Journal Home     |     Aim & Scope    |    Author(s) Information      |     Editorial Board     |     MSP Download Statistics
2012 (Vol. 4, Issue: 24)
Article Information:

Rationality Validation Algorithm Based on Petri Net

HaiLan Pan, AnBao Wang and CuiHong Wu
Corresponding Author:  HaiLan Pan 

Key words:  Petri net, rationality, state reachability, validation algorithm, , ,
Vol. 4 , (24): 5561-5564
Submitted Accepted Published
April 25, 2012 May 13, 2012 December 15, 2012

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.
Abstract PDF HTML
  Cite this Reference:
HaiLan Pan, AnBao Wang and CuiHong Wu, 2012. Rationality Validation Algorithm Based on Petri Net.  Research Journal of Applied Sciences, Engineering and Technology, 4(24): 5561-5564.
    Advertise with us
ISSN (Online):  2040-7467
ISSN (Print):   2040-7459
Submit Manuscript
   Current Information
   Sales & Services
Home  |  Contact us  |  About us  |  Privacy Policy
Copyright © 2015. MAXWELL Scientific Publication Corp., All rights reserved