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. Then the formal definitions of three basic types of data-flow errors, including missing data, redundant data and conflicting data are formulated using WFIO-net. Next, a polynomial complexity algorithm which is capable of detecting the above-mentioned three kinds of basic data-flow anomalies is proposed based on the activity-data incidence matrix of the WFIO-net. A running case of a property loan approval business process is given to validate the proposed method.

[1]W. M. P. van der Aalst, “The application of Petri nets to workflow management,” Journal of Circuits, Systems and Computers, vol. 8, no. 1, pp. 21–66, 1998.
[2]W. M. P. van der Aalst, K. M. van Hee, A. H. M. ter Hofstede et al., “Soundness of workflow nets: classification, decidability, and analysis,” Formal Aspects of Computing, vol. 23, no. 3, pp. 333–363, 2011.
[3]Jianqiang Li, Yushun Fan, Mengchu Zhou, “Performance modeling and analysis of workflow”, IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans, vol.34, no.2, pp. 229- 242, March 2004.
[4]Jianqiang Li, Yushun Fan, Mengchu Zhou, “Timing Constraint Workflow Nets for Workflow Analysis”, IEEE Transactions on Systems, Man, and Cybernetics-Part A: Systems and Humans, Vol.33, No.2, March 2003, pp.179-193.
[5]Huaiqing Wang, Qingtian Zeng, “Modeling and Analysis for Workflow Constrained by Resources and Nondetermined Time: An Approach Based on Petri Nets”, IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans, vol.38, no.4, pp.802-817, July 2008.
[6]Qingtian Zeng, Huaiqing Wang, Dongming Xu, Hua Duan, Yanbo Han, “Conflict detection and resolution for workflows constrained by resources and non-determined durations”, Journal of Systems and Software, 819: 1491-1504, 2008.
[7]Shazia Sadiq, Maria Orlowska, Wasim Sadiq, and Cameron Foulger. 2004. Data flow and validation in workflow modelling. In Proceedings of the 15th Australasian database conference - Volume 27 (ADC '04), Klaus-Dieter Schewe and Hugh Williams (Eds.), Vol. 27. Australian Computer Society, Inc., Darlinghurst, Australia, Australia, 207-214.
[8]Shaokun Fan, Wanchun Dou, Jinjun Chen. Dual Workflow Nets: Mixed Control/Data-Flow Representation for Workflow Modeling and Verification, Advances in Web and Network Technologies, and Information Management, Lecture Notes in Computer Science Volume 4537, 2007, pp 433-444
[9]Nanshan Du, Yiwen Liang, and Li Zhao. 2008. Data-flow skeleton filled with activities driven workflow design. In Proceedings of the 2nd international conference on Ubiquitous information management and communication (ICUIMC '08). ACM, New York, NY, USA, 570-574.
[10]Sun, S.X., Zhao, J.L., Nunamaker, J.F., Liu Sheng, O.R.: Formulating the Data Flow Perspective for Business Process Management. Information Systems Research 17(4), 374–391 (2006)
[11]Sundari, M.H., Sen, A.K., Bagchi, A.: Detecting Data Flow Errors in Workflows: A Systematic Graph Traversal Approach. In: 17th Workshop on Information Technology & Systems (WITS 2007), Montreal (2007)
[12]Cristina Claudia DOLEAN, Razvan PETRUSEL, Data-Flow Modeling: A Survey of Issues and Approaches. December 2012, Informatica Economica; 2012, Vol. 16 Issue 4, p117.
[13]T. Murata, “Petri Nets: Properties, Analysis and Applications,” Proceedings of the IEEE, vol. 77, no. 4, pp. 541–580, April, 1989.
[14]W. Reisig, Understanding Petri Nets: Modeling Techniques, Analysis Methods, Case Studies, Springer, 2013.
[15]Cong Liu, Qingtian Zeng, Jie Zou, Faming Lu and Qingxin Wu, “Invariant Decomposition Conditions for Petri Nets Based on the Index of Transitions,” Information Technology Journal, vol. 11, pp. 768-774, 2012.
[16]Cong Liu, Qingtian Zeng, Hua Duan, Mengchu Zhou, Faming Lu, and Jiujun Cheng, “E-Net modeling, analysis and resource management for emergency response processes”, IEEE Transaction on System, Man and Cybernetics: Systems, forthcoming in 2014.
[17]Jiujun Cheng, Cong Liu, Mengchu Zhou, Qingtian Zeng, and Antti Ylä-Jääski, “Automatic Composition of Semantic Web Services Based on Fuzzy Predicate Petri Nets”, IEEE Transaction on Automation Science and Engineering, forthcoming in 2014.
[18]Qingtian Zeng, Faming Lu, Cong Liu, Hua Duan, and Changhong Zhou, “Modeling and Verification for Cross-department Collaborative Medical Business Processes Using Extended Petri Nets”, IEEE Transaction on System, Man and Cybernetics: Systems, forth coming in 2014.
[19]Hua Duan, Qingtian Zeng, Huaiqing Wang, Sherry X. Sun, Dongming Xu. Classification and Evaluation of Timed Running Logs of Workflows based on Process Mining, Journal of Systems and Software, Volume 82, Issue 3, March 2009, Pages 400-410.
[20]Sherry X. Sun, Qingtian Zeng, Huaiqing Wang, Process-Mining-Based Workflow Model Fragmentation for Distributed Execution, IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans, March 2011,Volume: 41 Issue:2, On page(s): 294 – 310.
[21]Qingtian Zeng, Hua Duan. Behavior Description for Complex Flexible Manufacturing System Based on Decomposition of Petri Net,International Journal of Computer Systems Science and Engineering, Vol. 22, No.6, pp. 359-363, 2007.
[22]Qingtian Zeng. Two Symmetrical Decomposition Methods for Structure-complex Petri Net and Their Applications, Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, 2007. SNPD 2007. Volume: 3, On page(s): 1101-1106.
[23]Qingtian Zeng, Xiaowen Hu, Jun Zhu, Hua Duan. A Polynomial-time Decomposition Algorithm for a Petri Net based on Indexes of Places, Journal of Applied Science, Volume: 8,Issue: 24, Pages: 4668-4673, 2008.
[24]Qingtian Zeng. A Polynomial-time Decomposition Algorithm for a Petri Net based on Indexes of Transitions, Information Technology Journal, 10(4):856-862. 2011.
[25]Qingtian Zeng. A Construction Method for the Process Expression of Petri Net Based on Decomposition, Information Technology Journal, Volume 7, Issue 3, Pages 420-429, 2008.
[26]Rong Hua, You Fu, Jianzhi, CongLiu, “Petri Net-based modeling and verification of automatic train speed control system”, Applied Mechanics and Materials, 2014, Vols. 571(1):395-399.
[27]Jun Zhu, Qingtian Zeng. Property analysis of Petri Nets Based on Decomposition according to indexes of Transitions [J]. Journal of Frontiers of computer science and technology, 4(08):1673-9418, 2010.
[28]Zhehui Wu. An introduction to Petri Net [M].Beijing: Publishing House of China Machine, 2006.
[29]Qingtian Zeng, Zhehui Wu. Decomposition method of Petri net based on index of places [J]. Journal of Computer Science, 29 (4): 15-17, 2002.
[30]Qingtian Zeng, Faming Lu, Cong Liu, and Decun Meng, “Modeling and Analysis for Cross-organizational Emergency Response Systems, Journal of Computers in Chinese, 2013, 36(11): 2290-2302.

@article{LIU03041009,
title = " Formulating the Data-Flow Modeling and Verification for Workflow: A Petri Net based Approach ",
journal = "International Journal of Science and Engineering Applications (IJSEA)",
volume = "3",
number = "4",
pages = "107 - 112",
year = "2014",
author = " Cong LIU,Qingtian ZENG*,Hua DUAN ",
}