Journal
INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY
Volume 26, Issue 9-10, Pages 1163-1172Publisher
SPRINGER LONDON LTD
DOI: 10.1007/s00170-004-2089-4
Keywords
workflow modelling and analysis; Petri nets; structured business process models; CIMOSA
Ask authors/readers for more resources
The well-behaved properties in workflow systems are very important for business processes. In this paper, a structured business process modelling approach by using free-choice Petri nets and workflow analysis techniques is proposed. This approach can be used to verify the soundness of workflow process specification for finding control-flow errors in the designs. For example, deadlock and dangling tasks in process models can be avoided by using this approach. However, for arbitrary Petri nets, the checking of sound properties is a NP-hard problem. This paper presents a structured business process modelling algorithm. This algorithm employs six well-behaved control structures, chaining rule and modified nesting rule to construct well-behaved process models. The resulting process models from this algorithm are free-choice workflow-nets, for which sound property can be decided in polynomial time. The proposed method is an extension of the workflow-net. The basic transformation rules in the workflow-net are subsets of the proposed nesting rule in this paper. The process models resulted from this structured business process modelling algorithm also have the advantages of modularity, readability and maintainability.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available