The Projected TAR and its Application to Conformance Checking
Relational semantics of business process models have seen an uptake in various fields of application. As a prominent example, the Transition Adjacency Relation (TAR) has been used, for instance, to conduct conformance checking and similarity assessment. TAR is defined over the complete set of transitions of a Petri net and induces order dependencies between pairs of them. In this paper, the authors consider TAR in a more general setting, in which the order dependencies shall be derived only for a subset of projected transitions. They show how to derive this projected variant of TAR from the reachability graph of a reduced Petri net. They elaborate the projected TAR for conformance checking in a case from industry.