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

Abstract:

Article Preview

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.

Info:

Periodical:

Edited by:

Wenya Tian and Linli Xu

Pages:

505-509

DOI:

10.4028/www.scientific.net/AMR.186.505

Citation:

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

Online since:

January 2011

Export:

Price:

$35.00

In order to see related information, you need to Login.

In order to see related information, you need to Login.