The Workflow Modeling Research Based on the Expanded P/T System
Authors
Long-da Huang, Jin Liu, Jun-song Wang, Su-yan Long
Corresponding Author
Long-da Huang
Available Online May 2014.
- DOI
- 10.2991/ictcs-14.2014.26How to use a DOI?
- Keywords
- workflow modeling; expanded P/T system; routing structure; workflow model correctness;
- Abstract
A workflow modeling method based on the expanded P/T system (hereafter to be called the xP/T system) is put forward to make the correctness verification of the graphical modeling easier and simplify the complication of Petri net modeling. Meanwhile the correctness verification of the modeling is given. The modeling method makes it simpler in the aspects of graphical indication and program implementation by allowing the value of the weight function to be zero and taking the transition as the ‘OR’ node to implement conditional and iterative routing. In addition it preserves the advantage that Petri net modeling owns.
- Copyright
- © 2014, the Authors. Published by Atlantis Press.
- Open Access
- This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).
Cite this article
TY - CONF AU - Long-da Huang AU - Jin Liu AU - Jun-song Wang AU - Su-yan Long PY - 2014/05 DA - 2014/05 TI - The Workflow Modeling Research Based on the Expanded P/T System BT - Proceedings of the 2nd International Conference on Teaching and Computational Science PB - Atlantis Press SP - 102 EP - 105 SN - 1951-6851 UR - https://doi.org/10.2991/ictcs-14.2014.26 DO - 10.2991/ictcs-14.2014.26 ID - Huang2014/05 ER -