Home           Contact us           FAQs           
   Journal Page   |   Aims & Scope   |   Author Guideline   |   Editorial Board   |   Search
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
   Contact Information
  Executive Managing Editor
  Email: admin@maxwellsci.com
  Publishing Editor
  Email: support@maxwellsci.com
  Account Manager
  Email: faisalm@maxwellsci.com
  Journal Editor
  Email: admin@maxwellsci.com
  Press Department
  Email: press@maxwellsci.com
Home  |  Contact us  |  About us  |  Privacy Policy
Copyright © 2009. MAXWELL Science Publication, a division of MAXWELLl Scientific Organization. All rights reserved