A Business Process Model Reconstruction Method That Eliminates Implicit Libraries

Reducing the complexity of business process model is an important way to improve the quality of model.Exist redundant construction is a cause of the complicated business process models,to eliminate the implicit place which leads to redundant construction in the business process model,this paper brings up with a model refactoring way to eliminate implicit place based on Petri Nets.Implicit place is the redundant elements in net system,which means it would not influence the behavior of net system by manipulating.Firstly,raise an algorithm to checking the implicit place in the complete prefix unfolding of Petri Nets to prevent the explosion of state space.Secondly,without changing the behavior of the business process model,the reconstruction operation of the implicit place is proposed to delete the redundant elements in the model.Lastly,it could be concluded that checking implicit place in complete prefix unfolding is more efficient than reachable graph through experiments,also the refactoring operation on deleting implicit place would not change the basic relation between the activities in business process model.This paper explores checking implicit place on complete prefix unfolding using Petri Nets and eliminates the redundancies to refactoring the business process model.The main works this paper die are:Firstly,elaborate the corresponding relation between Petri Nets,reachable graph and complete prefix unfolding and define the implicit conditions based on it.Secondly,propose the checking implicit condition in complete prefix unfolding based on the definition of implicit conditions.Checking the implicit place of Petri Nets according to the corresponding relation after checking the implicit conditions.Thirdly,propose the refactoring operation to remove the implicit place and test its accuracy by verifying the consistence.Fourthly,compare with the business process model in referenced papers and prove the model is more efficient in this paper.In conclusion,the paper propose a wat to checking the implicit place,refactoring the business process model and reduce the complicity based on the complete prefix unfolding of Petri Nets.