Formulating the Data-Flow Modeling and Verification for Workflow: A Petri Net based Approach

Provided by: International Journal of Science and Engineering Applications (IJSEA)
Topic: Data Management
Format: PDF
Control-flow and data-flow modeling and verification are two important challenges for traditional workflow management. To formulate the data-flow modeling and verification, a Petri Net based approach is proposed in this paper. More specifically, the WFIO-net, which is a kind of WF-net by extending each activity with its read and write data sets, is first presented to model both the control-flow and data-flow information in a workflow process. Moreover, the firing rule of WFIO-net which is different from traditional Petri net is discussed in detail.

Find By Topic