Analyzing the Consistency of Business Process based on Behavior Petri Net

Abstract

Analyzing the consistency is the important part of business process management (BPM). Existing researches only consider the structural consistency of process model, or analyzing the single data. However, sometimes, the model is consistency without considering data in real life, while it is inconsistency after analyzing control and data. In this paper, based on the labeled behavioral Petri net, considering the change of data, the control flow and data flow of business process model is established from the perspective of partner process, and then obtains the interactive process model by interacting them. In the end, according behavior profile and behavior mapping, the behavior vector of the mapping transitions is given to calculate the behavioral distance vector and gets the behavior compatibility between the corresponding process models. If all behavior compatibilities can close to 1, BPM is consistency, and vice versa. In addition, it is proven that the method is valid by analyzing the theory and example.