Research on Workflow Model Based on Petri Net with Reset Arcs
To satisfy the workflow modeling requirements in the ability of powerful expression, a method by adding reset arc to extend the workflow model has been put forward, and the formal representation is proposed in this paper. Then, the soundness analysis of t
- PDF / 440,725 Bytes
- 8 Pages / 439.37 x 666.142 pts Page_size
- 58 Downloads / 248 Views
Abstract To satisfy the workflow modeling requirements in the ability of powerful expression, a method by adding reset arc to extend the workflow model has been put forward, and the formal representation is proposed in this paper. Then, the soundness analysis of this method is researched by using an insurance claim model and reachability graph. Therefore, this method improved the power of describing workflow model of WF-net, especially cancellation feature which was not supported by most Petri net models. Keywords Petri net · Workflow net · Reachability graph · Reset arcs · Soundness
1 Introduction The concept of workflow originates from the domain of production organization and office automation, it is proposed with a fixed program activity for the routine. The workflow is designed to segment the work into well-defined tasks and roles, to perform, monitor and manage the tasks according to certain rules and procedures. The workflow can improve the work efficiency, control the procedure better, and manage business processes more effectively, etc.
C. Zhang (B) · X. Yue Department of Computer and Communication Engineering, Changsha University of Science and Technology, Changsha 410114, China e-mail: [email protected] S. Tam Faculty of Science and Technology, Yala Islamic University, A.Yarang, 94160 Pattani, Thailand K. Zhou Faculty of Computer Science and Information Systems, Univeristi Teknologi Malaysia, UTM Skudai, 80310 Johor, Malaysia
B.-Y. Cao and H. Nasseri (eds.), Fuzzy Information & Engineering and Operations Research & Management, Advances in Intelligent Systems and Computing 211, DOI: 10.1007/978-3-642-38667-1_45, © Springer-Verlag Berlin Heidelberg 2014
449
450
C. Zhang et al.
At present, there are a lot of workflow modeling methods. Such as: a directed acyclic graph, process ontology, Petri net, etc [1–3]. Zhang [4] introduced the existing workflow modeling technology and its current development situation, also the existing problems, and the latest development. Among these modeling methods, some focus on describing the control relations between the tasks, the others focus on data flow description on the tasks. Petri net technology is a kind of modeling method which can not only be used for structural modeling, but carry out quantitative and qualitative analysis. It has become the main tool of workflow modeling. Although the Petri net theory and workflow technology is mature enough, basic workflow model is still unable to express all possible workflow because of the model scale and the complexity in practical application. Therefore, it is essential to extend the model to improve the modeling ability. The existing extension methods are hierarchical, color, time, etc [5–7]. On the basis of summing up the classic Petri-net modeling theory, this paper presented the extension methods of adding reset arcs, soundness analysis of this method by using the reachability graph and an insurance claim model. By analyzing the example, we can prove that the extended method can improve workflow modeling ability.
2
Data Loading...
