The Workflow Modeling Research Based on the Expanded P/T System

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/).

Download article (PDF)

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  -