Abstract
This paper focuses on the behavior similarity of workflow nets (WF-nets). The similarity of two WF-nets reflects their consistent degree in behaviors. It explores the behavioral relations of subsets of transitions based on the interleaving semantics, and more accurate relations are defined than the existing work. Therefore, a more accurate similarity of two WF-nets (in their behaviors) can be obtained than that in the existing work that usually do not consider the loop and complex correspondence. By refining the interleaving relation in a behavioral profile into six types, this paper proposes the notion of a relation profile based on behavioral profile. Based on the relation profile of a WF-net, behavioral relation matrix can be constructed. Additionally, we refine the complex correspondence and generate a group of behavioral relation submatrices from the behavioral relation matrix. By using them we present a new formula to measure the behavior similarity of two WF-nets. Finally, examples illustrate that our method can measure the similarity degree more accurately.