Analysis And Control About The Change Region Of Business Process Petri Net Model Under The Data Constraint

Data flow and control flow are two important parts of the business process model, and the relationship between the two is very important information for modeling, analyzing and the implementation of the business process, and has an important role in binding the structure and the behavior of the model. The business processes are different because of the engineers focus on different angles, and not all business processes can meet the requirements of process management. And the transmission and changes of data flow in the process model make the results multiple and uncertain. So the analysis of the business process model under the data constraint is particularly important. Taking into account the current Petri nets can change model problem into a network problem as a modeling tool, then analyzing the business process issues will be transformed to the analysis of the process model. Therefore, analysis and control about the change region of business process Petri net model under the data constraint is important for the business process management.In present, researches about the change regions of the business process Petri net model mainly focus on looking for change regions from the control flow aspects, and control optimization from the model structure and behavior semantics, while ignoring the effect of data transmission and change in business process model. Moreover, the most existing methods which take the effect of data flow for business process into account are limited to the form of pure data without giving intuitive model, and exclude erroneous information generated by data flow consciously when looking for change regions of business process model. To improve the analysis efficiency of the consistency for the business process Petri net model under the data constraint, find out the change regions quickly and to gain control, this paper mainly study from the following three aspects:1) Aiming at the problem of the soundness of the business process of Petri net, the soundness of workflow is to ensure the workflow can be terminated and each task is not the net deadlock or go into an infinite loop, and also is important to ensure the workflow does not exist change regions. Currently, the technologies to analyze the soundness of business processes are mostly limited to control flow, without considering the data. In this paper, taking the process of automatic vending system as an example, and analyze its soundness based on the data flow and control flow of Petri net, this method can not only analyze its soundness from the control flow,further strengthen the judgment about the soundness of the business process of Petri net from the data flow.2) According to the problem of determining the change region of the business process Petri net model, previous studies take the business process control flow into consideration unilaterally, and they search for the change region according to the given change nodes or the researching results on the consistency between a source model and a correct reference model, all these methods have some limitations. In this paper, based on the theory of Petri net and behavior profiles, considering the absence of the target model and the change of data, we present a method to search for change region of the business process Petri net models which under the constraints of the data. This method overcome the defects caused by only consider the control flow and ignore the data.3) According to the problem of the control and treatment of the change region of the business process Petri net model, a method to query business process model based on the behavior inclusion is proposed. This paper takes a process example as input and discovers all models that allow replaying the behavior of the query by analyzing the behavior inclusion relationship between business process models. Then, we provide a notion of closeness score and use it to determine the optimal matching model, finally to optimize the control of change region of the business process model.