Research on Reliability Modeling of Cross-Organizational Workflows Based on Hierarchical Colored Petri Nets
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.
Wenya Tian and Linli Xu
Y. S. Liu et al., "Research on Reliability Modeling of Cross-Organizational Workflows Based on Hierarchical Colored Petri Nets", Advanced Materials Research, Vol. 186, pp. 505-509, 2011