An approach for identifying the abstraction scopes of business process Petri nets system using binary search tree Online publication date: Mon, 20-Apr-2020
by Huan Fang; Shuya Sun; Juan Guo; Xianwen Fang
International Journal of Services Technology and Management (IJSTM), Vol. 26, No. 2/3, 2020
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.
Existing subscribers:
Go to Inderscience Online Journals to access the Full Text of this article.
If you are not a subscriber and you just want to read the full contents of this article, buy online access here.Complimentary Subscribers, Editors or Members of the Editorial Board of the International Journal of Services Technology and Management (IJSTM):
Login with your Inderscience username and password:
Want to subscribe?
A subscription gives you complete access to all articles in the current issue, as well as to all articles in the previous three years (where applicable). See our Orders page to subscribe.
If you still need assistance, please email subs@inderscience.com
Our Blog 
Follow us on Twitter 
Visit us on Facebook