标题：A Novel Approach for Dynamic Business Processes and Process Changes with Petri Net
作者：Pang, Shanchen; Yan, Bin; Liu, Xing; Jia, Huaqian
作者机构：[Pang, Shanchen] China Univ Petr, Coll Comp & Commun Engn, Qingdao 266580, Peoples R China.; [Pang, Shanchen; Yan, Bin; Liu, Xing; Jia, Huaqian] Sha 更多
通讯作者地址：[Pang, SC]China Univ Petr, Coll Comp & Commun Engn, Qingdao 266580, Peoples R China.
来源：JOURNAL OF COMPUTATIONAL AND THEORETICAL NANOSCIENCE
关键词：WF-Net; Process Changes; Effectiveness; Petri Nets; Performance Analysis
摘要：In order to adapt inconstancy of business environment and service requirement, a model of dynamic workflow is defined which can react to evolution of business processes. The correctness of business process runtime evolution needs to be guaranteed. The meaning of correctness differs corresponding to different requirements. We will consider extensively accepted criteria of correctness. If it can be verified the evolution keeps some properties, the correctness is hold. For inter-organizational workflow, a method to verify correctness of run-time evolution based on cooperation view is provided. On bases of these, this paper has designed an algorithm to handle the migration of instances of workflow when the evolution takes place, and proposed a prototype of change management system.