Article: An approach for identifying the abstraction scopes of business process Petri nets system using binary search tree Journal: International Journal of Services Technology and Management (IJSTM) 2020 Vol.26 No.2/3 pp.149 - 166 Abstract: 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. Inderscience Publishers - linking academia, business and industry through research

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

Authors: Huan Fang; Shuya Sun; Juan Guo; Xianwen Fang

Addresses: School of Mathematics and Big Data, Anhui University of Science and Technology, 232001, Huainan City, China ' School of Mathematics and Big Data, Anhui University of Science and Technology, 232001, Huainan City, China ' School of Mathematics and Big Data, Anhui University of Science and Technology, 232001, Huainan City, China ' School of Mathematics and Big Data, Anhui University of Science and Technology, 232001, Huainan City, China

Abstract: 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.

Keywords: abstraction scopes identification; sound blocks; business process system; behavioural profile; Petri nets.

DOI: 10.1504/IJSTM.2020.106743

International Journal of Services Technology and Management, 2020 Vol.26 No.2/3, pp.149 - 166

Received: 18 Jul 2018
Accepted: 26 Mar 2019
Published online: 20 Apr 2020 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article

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

Keep up-to-date