PANG Shanchen, LIN Chuang, ZHOU Mengchu, LI Yin. A Workflow Decomposition Algorithm Based on Invariants[J]. Chinese Journal of Electronics, 2011, 20(1): 1-5.
Citation: PANG Shanchen, LIN Chuang, ZHOU Mengchu, LI Yin. A Workflow Decomposition Algorithm Based on Invariants[J]. Chinese Journal of Electronics, 2011, 20(1): 1-5.

A Workflow Decomposition Algorithm Based on Invariants

  • Received Date: 2010-04-01
  • Rev Recd Date: 2010-07-01
  • Publish Date: 2011-01-05
  • An efficient decomposition algorithm for a workflow model based on Petri net invariants is presented in this paper. The algorithm is a new kind of simplification strategy that decomposes a complex and sound Workflow net (WF-net) to a class of simple subnets that are able to describe the business cases. The existence of T-invariants and the coverage sets of WF-net transitions are analyzed and verified in detail. The advantages of the algorithm include its complexity, and avoidance of state space explosion. It can overcome the shortage of the methods based on a depth traversal algorithm. Furthermore, it is readily comprehensible, and can be extended easily to allow parallel processing. The usability of the research results is illustrated by an example.
  • loading
  • 加载中

Catalog

    通讯作者: 陈斌, bchen63@163.com
    • 1. 

      沈阳化工大学材料科学与工程学院 沈阳 110142

    1. 本站搜索
    2. 百度学术搜索
    3. 万方数据库搜索
    4. CNKI搜索

    Article Metrics

    Article views (616) PDF downloads(766) Cited by()
    Proportional views
    Related

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return