Process Variants Merging Method Based on Group-fair Control Flow Structure

Merging process variants models can quickly construct a single process model to meet a new demand.The issue of how to merge the process variants models is of great practical value.Therefore, a process variants merging method using group-fair control flow structure is proposed.Firstly, process variants are segmented into individual variant using group-fairness in Petri nets.Then, the control flow paths of the variant fragments are extracted and their corresponding matrix representation are constructed, then the variants are merged into a single flow model.Finally, it is proved that the merged process model captures all the behaviors of the input process models, and it can detect the unexpected behaviors of the merged model compared to the former input models.