Research on Reliability Modeling of Cross-Organizational Workflows Based on Hierarchical Colored Petri Nets

Abstract:

To reduce the complexity of cross-organizational workflow modeling and verification, a reliable modeling method of cross-organizational workflows based on hierarchical colored Petri nets is proposed. At the foundation of discussing formal definitions of global and local workflows, the paper develops reliability modeling constraints of cross-organizational workflows from structure to logic. Under these constraints, a top-down cross-organizational workflow model is built. Those substitution transitions which input places were safe in global workflow are refined by reliable local workflows to guarantee the reliability of cross-organizational workflow model.

• Periodical: Advanced Materials Research (Volume 186)
• Pages: 505-509
• DOI: https://doi.org/10.4028/www.scientific.net/AMR.186.505
• Online since: January 2011
• Authors: Yong Shan Liu, Yan Qing Shen, Tian Bao Hao
• Keywords: Cross-Organizational Workflows, Hierarchical Colored Petri Net (HCPN), Petri Net, Reliability Model, Workflow

References

[1] W.M.P. van der Aalst: Loosely Coupled Inter-Organizational Workflows: Modeling and Analyzing Workflows Crossing Organizational Boundaries. Information and Management, Vol. 37, No. 2 (2000), pp.67-75.

DOI: 10.1016/s0378-7206(99)00038-5

[2] K. Lenz and A. Oberwers: Modeling Inter-Organizational Workflows with XML Nets, In Proceedings of the 34th Annual Hawaii International Conference on System Sciences (HICSS-34), IEEE Computer Society Press, (2001).

DOI: 10.1109/hicss.2001.927083

[3] K.A. Schulz, M.E. Orlowska: Facilitating Cross-Organizational Workflows with A Workflow View Approach, Data & Knowledge Engineering, Vol. 51 (2004), pp.109-147.

DOI: 10.1016/j.datak.2004.03.008

[4] J. Zhang, H.Y. Wang and L.Z. Cui: Research on Cross-Organizational Workflow Modeling Based on Pi-Calculus, Journal of Computer Research and Development, Vol. 44, No. 7 (2007), pp.1243-1251.

DOI: 10.1360/crad20070721

[5] S.W. Cheng, X.F. Xu, G. Wang and Q.L. Li: A Simulation Model of Loosely Coupled Inter- Organizational Workflows, Journal of Software, Vol. 17, No. 12 (2006), pp.2461-2470.

DOI: 10.1360/jos172461

[6] W.M.P. van der Aalst: Structural Characterizations of Sound Workflow Nets, Computing Science Reports 96/23, Eindhoven University of Technology, Eindhoven, (1997), pp.78-98.