Paper Title:
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.

  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, Y. Q. Shen, T. B. Hao, "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
$32.00
Share

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

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

Authors: Quan Cai Li, Cui Rong Wu
Chapter 3: Materials Forming
Abstract:Bridge Fabricating System is one of the most widely used large-scale machinery equipment in construction fields like highway, railway both at...
641
Authors: Dejan Riznić, Radmilo Nikolić, Aleksandra Fedajev, Goran Stojanović
Chapter 4: Management in Mechanical Engineering
Abstract:Most enterprises in the Serbian economy are guided, structured and culturally oriented in a way that accepts only minor changes. When such...
294