Research On Change Region Of Petri Net Model Based On Action Pattern

The rationality and practicability of business process settings is regard as a key point of the enterprise management. As different points of view the engineers focus on, they set different business processes. Not all of them satisfy the requirements of managers. For the dissatisfaction, it need find the region of dissatisfaction which be called as change region in our paper. The further analysis of change region, finding the reason of change region and the method to deal with change region is a very important work of business process management.Researches on change region of Petri net model mainly focus on how to find the change region based on the comparison of a model and a reference model which has no deficiencies so far. There is almost on reference model actually, so these researches have some limitations and are lack of a certain practicality. Besides, little research involves dealing with change region to make the functions of the model meet the requirements. A method is proposed to determine change region based on the theory of behavior profiles of Petri net and the concept of action pattern. The new method overcomes the deficiency of the need of a reference model. Besides, the obligation analysis of the change region and a method of re-writing model to correct change region is proposed in our paper. Our contribution is shown below:Firstly, a method of find the change region of a Petri net model with the absence of a reference model is proposed. Through this method, several object sub-models can be constructed according to objects of the model. Combining the knowledge of behavioral profile with semantic and dependent relation of activities, the change region could be found.Secondly, researches on change region almost are limited to the method of looking for it. Further knowledge of change region is researched in our thesis. Based on the concept of obligation and behavioral fragment pattern, an approach of obligation analysis of change region is proposed. The approach is seen as the basis of correcting change region.Finally, few literatures at present involve the correct of change region. By considering about the position relations between the change region and its responsible transition, a re-writing method of the change region based on abstracting and refining change region is proposed. The method corrects the deficiencies of the model under a promise of keeping a high consistency of the corrected model and the original model.