An approach for identifying the abstraction scopes of business process Petri nets system using binary search tree

摘要

Since the existing abstraction studies are mostly concentrated on the abstraction method for various process systems, however they are a little vague about the scope orientation that is to be abstracted in the model. A search-treebased abstraction scope identification method is purposed, which is based on behavioural relation theory of Petri nets. First, three kinds of sound block structures and boundary places are formalised, and the transition association tree is then obtained, where the interactive semantic of system is taken into consideration. The transition association tree is further used to identify the areas scopes to be abstracted in the model, and the aim of model abstraction is then accomplished. The main contributions of this study are a sound blockbased abstraction scope identification and its corresponding abstraction method, by which the well-performed properties of initial systems can be preserved after abstraction, and the proposed methods are in polynomial time complexity.